4 commits

Author	SHA1	Message	Date
derAnfaenger	449d5faa59	mypy: Run mypy for each package separately.	2017-09-27 20:40:08 -07:00
derAnfaenger	abe9338cfe	mypy: Add erroring files to exclude list.	2017-09-27 11:44:28 +02:00
derAnfaenger	9ddb5518f4	tools: Remove duplicate lister.py	2017-09-27 10:49:41 +02:00
derAnfaenger	035f0c3268	tools: Add mypy runner. ... Unless otherwise specified, `tools/run-mypy` will right now only check annotations in core files of the `zulip` package.	2017-09-15 13:24:20 +02:00