Robin Mueller 386843e3e7 update jenkinsfile		2022-01-28 13:33:06 +01:00
..
Dockerfile	Changes to Dockerfile and Jenkinsfile	2022-01-27 11:30:33 +01:00
Jenkinsfile	update jenkinsfile	2022-01-28 13:33:06 +01:00