]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7be750) | patch
- unset http_proxy to avoid libxslt related problems
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)
commit4411489f899b4706834373f9c516856a4b6131d6
tree1fc6ea7647f92303c7f87169b591e89eae5f361etree | snapshot
parentb7be7508e19284861209a62e0b8415e0aef21d02commit | diff
- unset http_proxy to avoid libxslt related problems
helm/uwobo/src/ocaml/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.