summaryrefslogtreecommitdiffstats
path: root/tools
AgeCommit message (Expand)Author
2020-07-02Add clang_format_wrapper.py to avoid CI/CD race conditionsAlex
2020-06-12Merge pull request #2858 from uklotzde/pre-commitDaniel Schürmann
2020-06-11Fix unused named arguments in Python generatorsUwe Klotz
2020-06-11replace invalid characters from Git diffDaniel Schürmann
2020-06-10Fix line-length tool not coercing to string correctlyOwen Williams
2020-05-12Update paths in source filesJan Holthuis
2020-05-11tools: Remove legacy scripts and git hooksJan Holthuis
2020-05-11Rename scripts/ directory to tools/Jan Holthuis