diff options
| author | Andrey Trebler <at@edrilling.no> | 2020-05-08 16:32:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-08 10:32:09 -0400 |
| commit | c42ad381ad64f42e54ea0c1186d81af5abfdbb66 (patch) | |
| tree | f086474cf12d1cc357537dc6a0bd92c2fb9f828f /tools/lint.py | |
| parent | f9f10229a41d000ae9e96f0907ca321f9ffdeea7 (diff) | |
revert PR #5002 (#5141)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions