Skip to content

Copy __builtin__.pyi to builtins.pyi#2215

Merged
gvanrossum merged 1 commit intomasterfrom
sync-builtins
Jun 11, 2018

Commits

Commits on Jun 11, 2018