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-19 20:05:33 +01:00
..
build-stylesheets.sh fix: fix release and build scripts 2021-04-19 20:05:33 +01:00
build.sh fix: fix release and build scripts 2021-04-19 20:05:33 +01:00
release.sh fix: fix release and build scripts 2021-04-19 20:05:33 +01:00
setup.sh Automatically generate new releases (#59) 2021-03-12 17:53:49 +00:00