Ulrich Mohr da42edcc0c Jenkinsfile: added stage to be more verbose		2021-10-26 20:58:34 +02:00
..
Dockerfile	added jenkins integration	2021-10-25 14:59:16 +02:00
Jenkinsfile	Jenkinsfile: added stage to be more verbose	2021-10-26 20:58:34 +02:00