diff options
author | Ben Stolovitz <ben@stolovitz.com> | 2020-08-03 10:52:53 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-03 10:52:53 -0400 |
commit | 39693094f14ecba128c8fe9c6a1b8c0aba82fdec (patch) | |
tree | f81249d891e342dfd8b4ab18fffcba4d03e7b69f /tools/lint.py | |
parent | 9d50c5c1a6fbe6895b6a63dadcba7bacaf9dd578 (diff) |
Fix grammatical error in Linter documentation (#6939)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions