]> granicus.if.org Git - mutt/commit
projects / mutt / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 794abde) | patch
Document difference between index and pager search. Closes #2886.
authorBrendan Cully <brendan@kublai.com>
Thu, 26 Jun 2008 05:58:21 +0000 (22:58 -0700)
committerBrendan Cully <brendan@kublai.com>
Thu, 26 Jun 2008 05:58:21 +0000 (22:58 -0700)
commitd4c640c5ab0936319cbedb6f35e90c9b6abe5601
treedfff1f1741f068096b1686d7304d4980cf05c622tree | snapshot
parent794abde7ab5ae069d89ac4547068a9430cf22683commit | diff
Document difference between index and pager search. Closes #2886.
ChangeLog diff | blob | history
doc/manual.xml.head diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.