Florian Bruhin
|
36a9b816a7
|
*Really* fix path in ci_install.py
|
2015-08-15 19:08:22 +02:00 |
|
Florian Bruhin
|
5d0ffcd14d
|
Whoops.
|
2015-08-14 07:56:51 +02:00 |
|
Florian Bruhin
|
2405bf1984
|
ci_install: Fix path.
|
2015-08-14 07:42:51 +02:00 |
|
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 |
|