8000 Add mypy_extensions. by davidfstr · Pull Request #611 · python/typeshed · GitHub
[go: up one dir, main page]
Skip to content

Add mypy_extensions.#611

Merged
gvanrossum merged 1 commit intopython:masterfrom
davidfstr:mypy_extensions
Oct 17, 2016

Commits

Commits on Oct 15, 2016
0