mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-08 19:00:59 +08:00
This was already the configuration in Travis and it's been working fine. It's confusing that Travis was using a different configuration than the default when you run tests/mypy_test.py yourself.