mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-04-07 08:24:04 +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.