matita.cs.unibo.it Git - helm.git/blob - helm/interface/PER_FARLO_ANDARE

]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/PER_FARLO_ANDARE

projects / helm.git / blob

20fb52a8608052e15b3b98b5aa03a347f8c5cd11

[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

Unnamed repository; edit this file 'description' to name the repository.