diff scripts/uninstall-scripts.sh @ 1122:58efbe18f102

slight modification
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Wed, 10 Jul 2019 16:08:41 -0400
parents f3a0b652b590
children
line wrap: on
line diff