Removed.

diff --git a/bin/clean b/bin/clean
deleted file mode 100644 (file)
index 15461e2..0000000
--- a/bin/clean
+++ /dev/null
@@ -1,11 +0,0 @@
-# The Evaluator -- Directory Cleanup
-# (c) 2001 Martin Mares <mj@ucw.cz>
-
-if [ -z "$MO_ROOT" ] ; then
-       set -e -a
-       cd
-       [ -f config ] || ( echo "Missing config file. Please fix the installation." ; exit 1 )
-       . config
-       fi
-if [ -z "$CT" ] ; then
-       [ -n "$1" ] || ( echo "Usage: clean <contestant> <task>"
\ No newline at end of file