Robin Mueller 67fbabbd7c update docker file and jenkins file		2022-04-19 18:18:07 +02:00
..
Dockerfile	update docker file and jenkins file	2022-04-19 18:18:07 +02:00
Jenkinsfile	update docker file and jenkins file	2022-04-19 18:18:07 +02:00