5 Commits

Author	SHA1	Message	Date
Florian Bruhin	fb48059ae9	ci_install: Don't use os.system.	2015-08-14 07:17:53 +02:00
Florian Bruhin	515c9611c4	ci_install: Hopefully fix checking setup.	2015-08-14 07:14:13 +02:00
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