Timo a89fd1e4d9 add clean workspace to jenkins templates

2020-03-10 08:03:21 +01:00

..

jenkins.js

formatting

2020-02-20 10:47:38 +01:00

Jenkinsfile

add clean workspace to jenkins templates

2020-03-10 08:03:21 +01:00