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