[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: |
Tue, 17 Sep 2019 08:45:25 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Wolfgang.Scherer@gmx.de, 37240@debbugs.gnu.org
> Date: Mon, 16 Sep 2019 22:02:47 +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.
>
> OK; I've now added an entry for it in the manual.
Thanks!