Flukx 6027e417db Merge remote-tracking branch 'template/master'		2022-02-12 16:39:40 +01:00
..
.maindir	Version 1: Dokumentenstruktur in README und preamble-section dokumentiert	2018-07-23 15:38:25 +02:00
maindircreate.py	fix maindircreate: do not create links in .git directory	2021-01-27 16:33:00 +00:00
make-it.sh	make everything with one command	2022-02-12 16:37:28 +01:00