From 70a94a5b234d39cb4b33bd3ed454ab5de55d01ed Mon Sep 17 00:00:00 2001 From: Eklavya Sharma Date: Tue, 17 May 2016 21:01:39 +0530 Subject: [PATCH] Expand zproject/ in mypy exclude list. --- tools/run-mypy | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/run-mypy b/tools/run-mypy index e1cd941b7f..178baef7b3 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -16,7 +16,10 @@ bots/jabber_mirror_backend.py bots/zephyr_mirror_backend.py docs/conf.py tools/deprecated/ -zproject/ +zproject/local_settings_template.py +zproject/local_settings.py +zproject/settings.py +zproject/test_settings.py zerver/migrations/ zerver/tests/ """.split()