[PATCH] doc: Disable SmartyPants in generated manual pages
David Bremner
david at tethera.net
Sun Aug 20 05:11:56 PDT 2017
Vladimir Panteleev <git at thecybershadow.net> writes:
> * doc/conf.py: Disable SmartyPants.
pushed.
d
More information about the notmuch
mailing list