[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