]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/isterix
Modified Files:
[helm.git] / helm / http_getter / isterix
index 6b1afdf9d37ab8a92e09ed48b487a2e3ffa7e716..ec4724f592fb9cc3ce0dc329c067b58574fabece 100755 (executable)
@@ -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