#!/bin/sh
if [ -L "$0" ]; then
	DIR=$(dirname $(readlink "$0"))
else
	DIR=$(dirname "$0")
fi
cd "$DIR"
rm -vrf input output temp
mkdir -v temp
rm -vf user/*.log user/*.db
GIT_TRACE=true git restore input output