]>
author | Lars Ingebrigtsen <larsi@gnus.org> | |
Mon, 9 May 2022 11:38:40 +0000 (13:38 +0200) | ||
committer | Lars Ingebrigtsen <larsi@gnus.org> | |
Mon, 9 May 2022 11:40:03 +0000 (13:40 +0200) | ||
commit | 60a15fae0245e303e012408de49be87dc43af152 | |
tree | 0ece7d43db9c660d337dd8db9d6a40a91bf423e7 | tree | snapshot |
parent | e195ac3df06cc4e805f3964f593234e5b5d70236 | commit | diff |
doc/emacs/search.texi | diff | blob | history | |
doc/lispref/searching.texi | diff | blob | history |