mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-03-17 03:55:34 +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.