]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/PER_FARLO_ANDARE
This commit was manufactured by cvs2svn to create branch 'interface'.
[helm.git] / helm / interface / PER_FARLO_ANDARE
1 export LD_LIBRARY_PATH=.:/really_very_local/helm/proveluca/mml-browser/
2 export no_proxy=cs.unibo.it