Ulrich Mohr b98127cea6 Updated CI Build ... - Always clean and rebuild docker image. - Use single docker container		2022-01-31 14:59:45 +01:00
..
Dockerfile	Changes to Dockerfile and Jenkinsfile	2022-01-27 11:30:33 +01:00
Jenkinsfile	Updated CI Build	2022-01-31 14:59:45 +01:00