mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-15 16:27:08 +08:00
See discussion in https://github.com/python/typeshed/pull/1094. If we do this we should make it easier in mypy to install 3rd party stubs that are used by default.