]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/PER_FARLO_ANDARE
Initial revision
[helm.git] / helm / interface / PER_FARLO_ANDARE
diff --git a/helm/interface/PER_FARLO_ANDARE b/helm/interface/PER_FARLO_ANDARE
new file mode 100644 (file)
index 0000000..20fb52a
--- /dev/null
@@ -0,0 +1,2 @@
+export LD_LIBRARY_PATH=.:/really_very_local/helm/proveluca/mml-browser/
+export no_proxy=cs.unibo.it