3 Commits

Author	SHA1	Message	Date
Florian Bruhin	3bfcfaba4c	Fix lint.	2015-08-14 06:59:36 +02:00
Florian Bruhin	4dee427f0e	ci_install: Check setup after installing.	2015-08-14 06:55:31 +02:00
Florian Bruhin	be3f61af62	Move developer scripts to dev/ subfolder. ... Closes #783.	2015-06-28 22:31:30 +02:00