update mypy

This commit is contained in:
Maxim Kurnikov
2018-11-26 23:57:46 +03:00
parent 06bb3cd50b
commit 348efcd371
7 changed files with 57 additions and 170 deletions

2
external/mypy vendored