mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 04:54:47 +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.