diff scripts/uninstall.sh @ 1287:d9b86675be24

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 27 Dec 2018 12:01:30 -0700
parents ffb47187f02f
children bda4ec615c5b
line wrap: on
line diff