Christian Kühnel e313cc0d95 created pipeline for master build		2019-10-17 18:42:03 +02:00
..
Jenkinsfile	created pipeline for master build	2019-10-17 18:42:03 +02:00