Ulrich Mohr 0fea22d031 switching to rsync and deploying to web documentation		2022-09-23 14:06:28 +02:00
..
Dockerfile	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Jenkinsfile	switching to rsync and deploying to web documentation	2022-09-23 14:06:28 +02:00