]> matita.cs.unibo.it Git - helm.git/commit
added hyperlinks for getalluris/ in help message
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 15:59:30 +0000 (15:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 15:59:30 +0000 (15:59 +0000)
commit8e2185ee1dc66e27b80356b53232cdeca5465ac7
tree8f1e9895424596cb1e93975058e0fe9f564b5c66
parent3dc75a9ff15d4c699a0c6f95bcdc918dde511b8b
added hyperlinks for getalluris/ in help message
helm/ocaml/getter/http_getter_const.ml