summaryrefslogtreecommitdiffhomepage
path: root/support/check_options.py
Commit message (Expand)AuthorAge
* check_options: Cleanup output exit with error on problemsMatthias Braun2016-01-15
* Add helper script to check if all options have help textsMatthias Braun2016-01-07