Go to file
Robert Jacob 104fd548ee Begin pipeline with cleanup. 2017-07-08 22:43:26 +02:00
.editorconfig Reindent. 2017-07-08 19:41:11 +02:00
.gitignore Use script files. 2017-07-08 16:35:23 +02:00
Jenkinsfile Begin pipeline with cleanup. 2017-07-08 22:43:26 +02:00
build.sh Change order of builds. 2017-07-08 22:41:37 +02:00
rename.sh Reindent. 2017-07-08 19:41:11 +02:00