eric: diff scripts/uninstall.py

diff: scripts/uninstall.py

scripts/uninstall.py

branch: micropython
changeset 7144: de779a22396a
parent 6942: 2602857055c5
child 7192: a22eee00b052
child 7210: 8fe313d039e6