diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-04 22:09:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-04 22:09:06 +0100 |
| commit | 6dd76332619c917e0d00766fe84e9205b8311e79 (patch) | |
| tree | 02a75d2d209fc3543019c716ad671333628b1193 /tools/lint.js | |
| parent | dc232d8489c985d4f9c230a57f28ddd09723667d (diff) | |
chore: remove dead Python code (#8248)
Diffstat (limited to 'tools/lint.js')
0 files changed, 0 insertions, 0 deletions