Repository navigation
Add a py.typed marker, per PEP 561 - #4255
Closed
gvanrossum wants to merge 2 commits into
Closed
gvanrossum wants to merge 2 commits into
gvanrossum wants to merge 2 commits into
Commits
Commits on Nov 15, 2017
- committed
Guido van Rossum
Commits on Apr 9, 2018