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

Commits

  1. Commits on Dec 1, 2018