]> git.notmuchmail.org Git - notmuch/commit
doc: document user header indexing.
authorDavid Bremner <david@tethera.net>
Mon, 18 Feb 2019 13:08:48 +0000 (09:08 -0400)
committerDavid Bremner <david@tethera.net>
Sat, 25 May 2019 10:21:21 +0000 (07:21 -0300)
commit9dedb23b47961047d75ef08210481018042d0baf
tree9ae9b9ffd38049d6a5c47849b894ea1e831e3d94
parentadb53b073791f710b93a8fc755b6b7b606bf7fd1
doc: document user header indexing.

It's a bit odd that the primary documentation is in notmuch-config,
but it is consistent with the "query:" prefix.
doc/man1/notmuch-config.rst
doc/man7/notmuch-search-terms.rst