1d5a442fe5
Incidentally, this means that the JSONlab submodule is no longer needed, so it is removed in the present commit. Closes: #1907 |
||
---|---|---|
.. | ||
deps | ||
Makefile | ||
background.png | ||
build.sh | ||
conclusion_template.html | ||
distribution_template.xml | ||
gpl-3.0-standalone.html | ||
welcome_template.html |