diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-09-15 16:55:52 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-09-15 17:47:50 +0200 |
| commit | 2d20ac831922d3b73406ac04b2bc6f75fc55036d (patch) | |
| tree | 35a89bb512785ae98c291c1eef92aa31b56e1b5a /tools/lint.py | |
| parent | 8ab48e7ef7278b6313e0c3fb56e9b3bb2b693c06 (diff) | |
cli_snapshots: remove unused file run.py (#2950)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions