Fix uninstallation of user scripts#8733

Merged

uranusjr merged 4 commits intopypa:masterfrom

DaanDeMeyer:fix-local-script-uninstall

Feb 25, 2021

Commits on Sep 4, 2020

Fix uninstallation of user scripts
DaanDeMeyer
committed

Commits on Sep 10, 2020

Simplify type annotation

pradyunsg
and
uranusjr
authored

Commits on Feb 25, 2021