mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-06 12:14:27 +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.