Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
docs: remove an unused extension of sphinx
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 5 Nov 2019 05:59:59 +0000 (06:59 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 10 Nov 2019 18:09:06 +0000 (19:09 +0100)
commitc9e01488a3d25d90a3cc7a9cafc22312cc155f2f
treef72a12e920198732ed076e76e4353e05818f9391
parentd97d92731bd3c81da6e1556cad6627a5bc03645e
docs: remove an unused extension of sphinx
MANIFEST.in
docs/source/_ext/hidden_code_block.py [deleted file]
tools/cmake/DefinePackages.cmake