Mercurial Hosting > luan
view scripts/uninstall.sh @ 1704:19df8abc9805
add Table.is_list
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Fri, 01 Jul 2022 15:53:03 -0600 |
parents | ffb47187f02f |
children | bda4ec615c5b |
line wrap: on
line source
set -e rm -f /usr/local/bin/luan cd `dirname $0` echo "luan has been uninstalled" echo "you can now delete `pwd`"