Ulrich Mohr ecf51b2913 testing Jenkinsfile		2022-09-13 14:09:08 +02:00
..
Dockerfile	add jenkins user in docker so that ssh will work	2022-09-13 14:08:04 +02:00
Jenkinsfile	testing Jenkinsfile	2022-09-13 14:09:08 +02:00