extras/uninstall.sh
changeset 1182 9ba19d71cc4a
parent 1041 f7b7996e54f1
equal deleted inserted replaced
1181:af43226e45e6 1182:9ba19d71cc4a