mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-16 00:37:10 +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.