Ulrich Mohr 7b5ae6a445 done?		2022-09-30 14:40:59 +02:00
..
Dockerfile	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Jenkinsfile	done?	2022-09-30 14:40:59 +02:00