diff scripts/uninstall-scripts.sh @ 972:b50145235f9e

bug corrected
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Wed, 13 Dec 2017 14:48:48 -0500
parents f3a0b652b590
children
line wrap: on
line diff