2 commits

Author	SHA1	Message	Date
neiljp (Neil Pilgrim)	7dc0703397	tools: Move strict-optional to mypy.ini & remove option from run-mypy.	2018-04-06 13:45:11 -04:00
neiljp (Neil Pilgrim)	6cbe1f5ba7	tools: Migrate core run-mypy options to mypy.ini. ... Add traceback option, as used in core Zulip run-mypy.	2018-04-06 13:45:11 -04:00