Ulrich Mohr 775d5632de update to ssh connection to doc server		2022-09-23 20:26:45 +02:00
..
Dockerfile	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Jenkinsfile	update to ssh connection to doc server	2022-09-23 20:26:45 +02:00