]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/cadet
2b84119fa4cd13890fc4a836d1203080d96f0a08
[helm.git] / helm / http_getter / cadet
1 #! /bin/sh
2
3 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
4
5 # For V6.2
6 export HELM_CONFIGURATION_PREFIX=~/HELM/installation
7
8 # For V7
9 #export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot