version 0.8.10
This commit is contained in:
parent
53cd61546d
commit
765366c1f3
58 changed files with 768 additions and 30834 deletions
|
|
@ -38,8 +38,8 @@ if [ $# -eq 1 ] ; then
|
|||
echo "removing files..."
|
||||
|
||||
rm -f $bindir/nimrod
|
||||
rm -f $configdir/nimdoc.cfg
|
||||
rm -f $configdir/nimrod.cfg
|
||||
rm -f $configdir/nimdoc.cfg
|
||||
rm -f $configdir/nimdoc.tex.cfg
|
||||
rm -rf $docdir
|
||||
rm -rf $datadir
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue