Florian Bruhin
|
822623f2ed
|
Finally update copyrights...
|
2017-05-09 21:37:03 +02:00 |
|
Florian Bruhin
|
32a33c26a8
|
Restore sys.excepthook in scripts.run_profile
|
2016-09-12 09:28:09 +02:00 |
|
Florian Bruhin
|
2a343cb3a1
|
Various code style improvements
|
2016-04-27 20:25:27 +02:00 |
|
Florian Bruhin
|
6d11e9ffd8
|
Fix lint.
|
2016-02-11 07:17:00 +01:00 |
|
Florian Bruhin
|
45935c86af
|
Rewrite run_profile script.
There's now --profile-tool to select between various tools, a new
--profile-file option, and it uses argparse.
|
2016-02-11 06:48:16 +01:00 |
|
Florian Bruhin
|
a5f2ac5f03
|
Adjust copyright years.
|
2016-01-04 07:12:39 +01:00 |
|
Florian Bruhin
|
fd5a89dccd
|
scripts: Use runcall in run_profile.py.
|
2015-07-24 15:01:18 +02:00 |
|
Florian Bruhin
|
be3f61af62
|
Move developer scripts to dev/ subfolder.
Closes #783.
|
2015-06-28 22:31:30 +02:00 |
|