Subject: bug#37240: [PATCH] Provide facility to ignore all marked files

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 16 Sep 2019 22:02:47 +0200

Eli Zaretskii <[email-masked]> writes:

>> > Should this command be mentioned in the "VC Directory Commands" node
>> > of the user manual?
>> 
>> It wasn't previously, so my guess was that it wasn't considered
>> important enough to mention.
>
> I think it wasn't mention by omission.

OK; I've now added an entry for it in the manual.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no