Skip to content

Delete dmypy script -- it no longer works and is not used - #5985

Closed
gvanrossum wants to merge 1 commit into
python:masterfrom
gvanrossum:delete-dmypy-script
Closed

Delete dmypy script -- it no longer works and is not used#5985
gvanrossum wants to merge 1 commit into
python:masterfrom
gvanrossum:delete-dmypy-script

Delete dmypy script -- it no longer works and is not used

5c95efb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs