diff options
| author | Hossam Magdy <hossam.magdy@outlook.com> | 2020-05-08 23:21:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-08 17:21:44 -0400 |
| commit | fca204d8335b407236e16e639099a7696f9563ee (patch) | |
| tree | 08b95352ffe51161e20a35ed09fe4941fa4be837 /tools/lint.py | |
| parent | febb6aa68f1f1f3c5cf7640658de0807d472bea9 (diff) | |
fix typos (#5163)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions