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