Robert Jacob a590300494 Skip default checkout.		2017-07-08 22:45:30 +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	Skip default checkout.	2017-07-08 22:45:30 +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