Ulrich Mohr 5083c9390c bump docker version		2023-06-19 17:16:23 +02:00
..
Dockerfile	jenkins user in docker	2023-06-19 17:16:23 +02:00
Jenkinsfile	bump docker version	2023-06-19 17:16:23 +02:00