diff scripts/uninstall-scripts.sh @ 1192:606817bc31e8

bug correction
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Wed, 29 Jun 2022 23:02:47 +0200
parents f3a0b652b590
children
line wrap: on
line diff