Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

minor: Fix typo in tools/lint.

This commit is contained in:
Joshua Pan 2018-05-14 14:00:08 -04:00 committed by showell
parent d2ee76896c
commit a67ba617d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/lint
View File

@ -139,7 +139,7 @@ def run():
if len(target_langs) != 0:
targets = [target for lang in target_langs for target in by_lang[lang]]
if len(targets) == 0:
# If we this linter has a list of languages, and
# If this linter has a list of languages, and
# no files in those languages are to be checked,
# then we can safely return success without
# invoking the external linter.