Go to file
Robert Jacob 4b92fe3765 Delete on failure. 2017-07-08 19:42:27 +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 Delete on failure. 2017-07-08 19:42:27 +02:00
build.sh Reindent. 2017-07-08 19:41:11 +02:00
rename.sh Reindent. 2017-07-08 19:41:11 +02:00