X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2Fcadet;fp=helm%2Fhttp_getter%2Fcadet;h=0000000000000000000000000000000000000000;hb=d71338dee9f65981e827bca3b4d6d79c0197b4d9;hp=2b84119fa4cd13890fc4a836d1203080d96f0a08;hpb=6b13ef87cce91a75e9924c99a55edd1f311dd2ff;p=helm.git

diff --git a/helm/http_getter/cadet b/helm/http_getter/cadet
deleted file mode 100755
index 2b84119fa..000000000
--- a/helm/http_getter/cadet
+++ /dev/null
@@ -1,9 +0,0 @@
-#! /bin/sh
-
-# WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
-
-# For V6.2
-export HELM_CONFIGURATION_PREFIX=~/HELM/installation
-
-# For V7
-#export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot