]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/isterix
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Initial revision
[helm.git] / helm / http_getter / isterix
1 #! /bin/sh
2
3 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
4 #export HELM_CONFIGURATION_PREFIX=~/HELM/installation
Unnamed repository; edit this file 'description' to name the repository.