view clean.sh @ 67:c87212fe8883

Renamed debian directory to prepare for debian packaging, fixed possible crash in PI mode 2
author Ivo Smits <Ivo@UCIS.nl>
date Fri, 27 Jan 2017 20:33:19 +0100
parents d621348448de
children
line wrap: on
line source

#!/bin/sh
echo Cleaning up...
rm -rf out obj debian/data tmp