diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-07-25 10:17:44 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-07-25 20:13:17 +0200 |
| commit | 4d08bb85a4276292c2121b221b4840865a13cd42 (patch) | |
| tree | d7da20a39432ddcfb9e43c4e1ad010d8db310230 /tools/lint.py | |
| parent | 0875411267d62a0fdcaf762657f19082b440fe36 (diff) | |
Clean up and fix tools
* Make sync_third_party work in general
* Un-break build.py and run_hooks.py on windows
* Partially fix format.py on windows
* Reduce code duplication between run_hooks and sync_third_party
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions