Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
doc: autodoxy is gone, so remove a workaround for it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jul 2021 22:51:53 +0000 (00:51 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jul 2021 22:51:53 +0000 (00:51 +0200)
commitc20a724e89313208b6799007296b30cd6eff89c3
tree8c901aacebc0f5fadb1938e665bb1a56d053c906
parent94b9b9a993d99cd83f8299227ed6e89bca99924f
doc: autodoxy is gone, so remove a workaround for it
docs/find-missing.ignore