This commit was manufactured by cvs2svn to create branch 'moogle'.

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

diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample
deleted file mode 100755 (executable)
index 9ce29ac..0000000
--- a/helm/gTopLevel/script.sh.sample
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/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