3 Commits

Author	SHA1	Message	Date
Umair Khan	0278ce9102	Move tools/py3_test_reqs.txt to tools/setup/. ... Fixes #708	2016-05-26 18:43:24 +05:00
Eklavya Sharma	1041115b38	Add code to install mypy from provision.py.	2016-04-28 12:28:24 -07:00
Eklavya Sharma	c80f699321	Add tools/run-mypy to Travis checks. ... Fixes #635.	2016-04-28 10:03:35 -07:00