Ulrich Mohr 8bbde05413 add jenkins user in docker so that ssh will work		2022-09-13 14:08:04 +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:00:36 +02:00