summaryrefslogtreecommitdiff
path: root/scripts/dev/run_profile.py
AgeCommit message (Expand)Author
2021-01-26doc: Switch URLs to httpsFlorian Bruhin
2021-01-20Bump copyright yearsFlorian Bruhin
2020-01-04Adjust copyrights for 2020Florian Bruhin
2019-10-07Merge remote-tracking branch 'origin/pr/5057'Florian Bruhin
2019-10-01Specify 'check' with subprocess.runFlorian Bruhin
2019-09-29run_profile: Print written filename for --profile-tool=nonearza
2019-09-25run_profile: Set default profile file for --profile-tool=nonearza
2019-02-22Update copyright for 2019Jay Kamat
2018-10-06run_profile: Add --profile-tool tunaFlorian Bruhin
2018-10-06Add --profile-test to run_profile.pyFlorian Bruhin
2018-02-05Update copyright yearsFlorian Bruhin
2017-11-01use subprocess runGyorgy Orban
2017-05-09Finally update copyrights...Florian Bruhin
2016-09-12Restore sys.excepthook in scripts.run_profileFlorian Bruhin
2016-04-27Various code style improvementsFlorian Bruhin
2016-02-11Fix lint.Florian Bruhin
2016-02-11Rewrite run_profile script.Florian Bruhin
2016-01-04Adjust copyright years.Florian Bruhin
2015-07-24scripts: Use runcall in run_profile.py.Florian Bruhin
2015-06-28Move developer scripts to dev/ subfolder.Florian Bruhin
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion