Re: [PATCH] doc: Disable SmartyPants in generated manual pages

Subject: Re: [PATCH] doc: Disable SmartyPants in generated manual pages

Date: Sun, 20 Aug 2017 09:11:56 -0300

To: Vladimir Panteleev, notmuch@notmuchmail.org

Cc: Vladimir Panteleev

From: David Bremner

Vladimir Panteleev <git@thecybershadow.net> writes:

> * doc/conf.py: Disable SmartyPants.

pushed.

d
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch

Thread: