[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37240: [PATCH] Provide facility to ignore all marked files
|
From: |
Eli Zaretskii |
|
Subject: |
bug#37240: [PATCH] Provide facility to ignore all marked files |
|
Date: |
Mon, 16 Sep 2019 17:31:53 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Wolfgang.Scherer@gmx.de, 37240@debbugs.gnu.org
> Date: Mon, 16 Sep 2019 14:35:41 +0200
>
> 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.