]> git.notmuchmail.org Git - notmuch/commitdiff
doc: define and use semantic markup for configuration items
authorDavid Bremner <david@tethera.net>
Thu, 12 May 2022 11:52:30 +0000 (08:52 -0300)
committerDavid Bremner <david@tethera.net>
Sat, 21 May 2022 01:40:32 +0000 (22:40 -0300)
This makes sure each configuration item is cross referenceable without
extra markup, and also adds index entries.


No differences found