6 Commits

Author	SHA1	Message	Date
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