lecture-notes/template/.ci
2022-10-16 12:37:30 +02:00
..
build_document.sh get rid of tree dependency / check if command exists 2022-02-16 11:12:31 +01:00
git-info-2.sh fix git-info-2.sh: do not display pgp signature in log (if enabled by default) 2022-10-16 12:37:30 +02:00