Skip to content

Copy __builtin__.pyi to builtins.pyi - #2215

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

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

Copy __builtin__.pyi to builtins.pyi, to fix breakage caused by #2128

10f5d8f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs