Mercurial Hosting > luan
view scripts/uninstall.sh @ 1100:ad6b3b9fef40
add Table.is_empty() and Table.size()
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 21 May 2017 16:12:22 -0600 |
parents | 9e9bb358b2df |
children | ffb47187f02f |
line wrap: on
line source
rm /usr/local/bin/luan cd `dirname $0` echo "luan has been uninstalled" echo "you can now delete `pwd`"