rub off a non-difference
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 14 Oct 2015 13:33:32 +0000 (15:33 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 14 Oct 2015 13:33:32 +0000 (15:33 +0200)
commit97bbe01c9aba5192dc15ad1065ffaaf4468e0310
treeee8f16516c8ee8893ca4d9ba4788ef7e79ee7faa
parent6285ca51026efb69642eea9dfc7c480e722d84a9
rub off a non-difference
doc/sphinx/conf.py