]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/PER_FARLO_ANDARE
This commit was manufactured by cvs2svn to create branch 'helm'.
[helm.git] / helm / interface / PER_FARLO_ANDARE
diff --git a/helm/interface/PER_FARLO_ANDARE b/helm/interface/PER_FARLO_ANDARE
deleted file mode 100644 (file)
index 20fb52a..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-export LD_LIBRARY_PATH=.:/really_very_local/helm/proveluca/mml-browser/
-export no_proxy=cs.unibo.it