users guide: fix typesetting of pragmas
authorBen Price <ben@brprice.uk>
Tue, 22 Jan 2019 00:16:14 +0000 (00:16 +0000)
committerBen Gamari <ben@well-typed.com>
Wed, 23 Jan 2019 19:07:28 +0000 (14:07 -0500)
commit395c8eaaf88608aad7cf255402d60eb12a33d11c
treea49e18308a70daf58d7dd2318150bbeb90aa40ce
parent5fcee8aa7666fb5a843c275b49c77f9ed678fb81
users guide: fix typesetting of pragmas
docs/users_guide/conf.py