- script.sh removed from CVS. script.sh.sample added isntead

[helm.git] / helm / gTopLevel / script.sh.sample

diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample
new file mode 100755 (executable)
index 0000000..9ce29ac
--- /dev/null
+++ b/helm/gTopLevel/script.sh.sample
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+#/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:
+export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS:/home/sacerdot/miohelm/helm/hbugs/meta