mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-15 23:56:46 +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.