Repository navigation

Copy builtin.pyi to builtins.pyi - #2215

Merged

gvanrossum merged 1 commit into

Jun 11, 2018

Merged

Copy builtin.pyi to builtins.pyi#2215
gvanrossum merged 1 commit into
masterfrom
sync-builtins

Commits on Jun 11, 2018
- Copy __builtin__.pyi to builtins.pyi, to fix breakage caused by #2128
  Guido van Rossum
  committed
  10f5d8f