diff scripts/uninstall-scripts.sh @ 951:2a4f174879dd

corrected bug
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Mon, 24 Jul 2017 00:28:52 -0400
parents f3a0b652b590
children
line wrap: on
line diff