Christian Kühnel 180858cf41 only deleting the folder if it exists		2020-01-23 18:12:42 +01:00
..
Jenkinsfile	only deleting the folder if it exists	2020-01-23 18:12:42 +01:00