Christian Kühnel 608062e08c making build directory in the beginning ... So that later steps can use that folder.		2019-11-18 16:29:59 +01:00
..
Jenkinsfile	making build directory in the beginning	2019-11-18 16:29:59 +01:00