diff options
| author | Chayim Refael Friedman <chayimfr@gmail.com> | 2020-08-03 17:53:18 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-03 10:53:18 -0400 |
| commit | e9d713c007afd31e22c9edf2b256197ed12336f2 (patch) | |
| tree | f62931bba0bbd985e5c5f6b32fea97b1fcab7c51 /tools/lint.py | |
| parent | 39693094f14ecba128c8fe9c6a1b8c0aba82fdec (diff) | |
typo (#6937)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions