From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 24 Nov 2000 16:51:11 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: nogzip~143
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5ade526fa5f69e1829e81c68449e226e0af97ba;p=helm.git

Modified Files:
 	isterix: new helm configuration
---

diff --git a/helm/http_getter/isterix b/helm/http_getter/isterix
index 6b1afdf9d..ec4724f59 100755
--- a/helm/http_getter/isterix
+++ b/helm/http_getter/isterix
@@ -1,4 +1,4 @@
 #! /bin/sh
 
 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
-#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export HELM_CONFIGURATION_PREFIX=~/libraries/installation