w0rp 41686980fd Document the mypy options, and fix spacing issues, largely in the documentation

2017-01-15 13:20:23 +00:00

..

ale.txt

Document the mypy options, and fix spacing issues, largely in the documentation

2017-01-15 13:20:23 +00:00