Robert Jacob 5b1feba241 Stop after first build.		2017-07-08 16:55:51 +02:00
.editorconfig	Configure editor.	2017-07-08 15:28:50 +02:00
.gitignore	Use script files.	2017-07-08 16:35:23 +02:00
Jenkinsfile	Checkout build files.	2017-07-08 16:48:35 +02:00
build.sh	Stop after first build.	2017-07-08 16:55:51 +02:00
rename.sh	Use bash and set fail conditions. Reformat files.	2017-07-08 16:55:45 +02:00