8000 More improvements to getting started docs by hauntsaninja · Pull Request #14572 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

More improvements to getting started docs#14572

Merged
hauntsaninja merged 4 commits intopython:masterfrom
hauntsaninja:docs
Feb 1, 2023

Commits

Commits on Feb 1, 2023
0