diff scripts/uninstall.sh @ 1080:0d884377e923

eliminate other head
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 10 Nov 2016 21:37:04 -0700
parents 9e9bb358b2df
children ffb47187f02f
line wrap: on
line diff