Skip to content

Reorganize mypy documentation into sections#5104

Merged
gvanrossum merged 1 commit intopython:masterfrom
Michael0x2a:add-sections-to-docs
May 24, 2018
Merged

Reorganize mypy documentation into sections#5104
gvanrossum merged 1 commit intopython:masterfrom
Michael0x2a:add-sections-to-docs

Commits

Commits on May 24, 2018