]> git.eshelyaron.com Git - emacs.git/commit
projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b34ba1) | patch
Be more explicit about the meaning of "remove prefix" in Gnus search
authorEric Abrahamsen <eric@ericabrahamsen.net>
Mon, 14 Feb 2022 23:20:06 +0000 (15:20 -0800)
committerEric Abrahamsen <eric@ericabrahamsen.net>
Mon, 14 Feb 2022 23:21:21 +0000 (15:21 -0800)
commitb444311e2c2a5d6db36bbbd5453a02c606215011
treea3f4040d333ec5cd52574af89d9b083107121024tree | snapshot
parent8b34ba17b1e9420a421a65e3eaea45fec9044eadcommit | diff
Be more explicit about the meaning of "remove prefix" in Gnus search

* doc/misc/gnus.texi (Search Engines): It's easy to get confused about
what we're removing and why.
doc/misc/gnus.texi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.