diff options
| author | Mark Tiedemann <www.marktiedemann@gmail.com> | 2020-06-09 17:50:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-09 17:50:41 +0200 |
| commit | 314f666897e63ab9f982726724a7e4af1ca798a8 (patch) | |
| tree | 3a605e22552f5bdf7f8f3c70290255cc8e3bd345 /tools/lint.py | |
| parent | 6e75254abb1d97541b1ce7a924a3e1c014807fff (diff) | |
fix(tools): prettier formatting (#6206)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions