This repository has been archived on 2023-08-16. You can view files and clone it, but cannot push or open issues or pull requests.
footnotes/_tools
2021-04-26 11:46:42 +01:00
..
build-stylesheets.sh ci: improve build commands 2021-04-26 11:46:42 +01:00
build.sh ci: improve build commands 2021-04-26 11:46:42 +01:00
release.sh release: release 2.7.3 (#144) 2021-04-25 21:26:41 +01:00