Ulrich Mohr ba62c28b64 adding linux ci and fixing problems		2023-01-12 15:40:52 +01:00
..
Dockerfile	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Jenkinsfile	adding linux ci and fixing problems	2023-01-12 15:40:52 +01:00