Ulrich Mohr 5c3bb13834 Revert "testing deployment of both development and master doc" ... This reverts commit c0000a8635.		2022-09-23 17:31:07 +02:00
..
Dockerfile	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Jenkinsfile	Revert "testing deployment of both development and master doc"	2022-09-23 17:31:07 +02:00