| author | Robert Pluim <rpluim@gmail.com> | |
| Tue, 15 Oct 2024 08:16:22 +0000 (10:16 +0200) | ||
| committer | Robert Pluim <rpluim@gmail.com> | |
| Tue, 15 Oct 2024 08:16:22 +0000 (10:16 +0200) | ||
| commit | 4d90a1d820916985e5e135254926f5554ddd3e46 | |
| tree | 9b023ced774109c070ab69a955ad3eeae07d5f20 | tree | snapshot |
| parent | c154047c46ae833a114e84d72e62269d12c3249d | commit | diff |
| doc/emacs/search.texi | diff | blob | history |