[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37240: [PATCH] Provide facility to ignore all marked files
|
From: |
Lars Ingebrigtsen |
|
Subject: |
bug#37240: [PATCH] Provide facility to ignore all marked files |
|
Date: |
Mon, 16 Sep 2019 22:02:47 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> 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