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