]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 16:51:11 +0000 (16:51 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 16:51:11 +0000 (16:51 +0000)
  isterix: new helm configuration

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