Removed the line that sourced the personal configuration file of Zack.

[helm.git] / helm / hbugs / tutors / sabba.sh

diff --git a/helm/hbugs/tutors/sabba.sh b/helm/hbugs/tutors/sabba.sh
index 239cd99092673ebba943726a334f69d6c0077db3..31c186af409d64da34ee836d845b65b5c5829265 100755 (executable)
--- a/helm/hbugs/tutors/sabba.sh
+++ b/helm/hbugs/tutors/sabba.sh
@@ -28,7 +28,7 @@ if [ "$1" = "--help" -o "$1" = "" ]; then
    echo "sabba.sh { start | stop | --help }"
    exit 0
 fi
-. ../../script.sh
+
 ./ls_tutors.ml |
 while read line; do
    tutor=`echo $line | sed 's/\.ml//'`