Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
ci: fix pages target by installing a missing python module
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 11 Jul 2019 00:06:59 +0000 (02:06 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 11 Jul 2019 00:06:59 +0000 (02:06 +0200)
docs/requirements.txt

index 0a8f75d..dabe5ff 100644 (file)
@@ -1,4 +1,4 @@
 breathe
 sphinx>=1.8.0
 sphinx_rtd_theme
 breathe
 sphinx>=1.8.0
 sphinx_rtd_theme
-
+javalang