Rohitt Vashishtha eb44b7d69d linter: Do not lint scripts parsed with tail (like dev-motd).		2019-05-27 12:40:02 -07:00
..
__init__.py	zulint: Move lister.py to tools/zulint.	2018-08-04 19:53:53 -07:00
command.py	tools: Remove unused imports.	2019-02-02 17:10:31 -08:00
linters.py	docs: Add documentation for `if False` mypy pattern in scripts.	2018-12-17 11:12:53 -08:00
lister.py	linter: Do not lint scripts parsed with tail (like dev-motd).	2019-05-27 12:40:02 -07:00
printer.py	tools: Remove unused imports.	2019-02-02 17:10:31 -08:00