emergency commit
[cl-cudd.git] / distr / shutdown.sh
blob724917d7c72f1f8cff7c5907e0dd04e22e931a66
1 #! /bin/sh
2 rm -rf include *.bak *~