summaryrefslogtreecommitdiff
path: root/tools/lint.py
diff options
context:
space:
mode:
authorBen Stolovitz <ben@stolovitz.com>2020-08-03 10:52:53 -0400
committerGitHub <noreply@github.com>2020-08-03 10:52:53 -0400
commit39693094f14ecba128c8fe9c6a1b8c0aba82fdec (patch)
treef81249d891e342dfd8b4ab18fffcba4d03e7b69f /tools/lint.py
parent9d50c5c1a6fbe6895b6a63dadcba7bacaf9dd578 (diff)
Fix grammatical error in Linter documentation (#6939)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions