]> matita.cs.unibo.it Git - helm.git/commit
return also .types uri in getalluris/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 12:11:07 +0000 (12:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 12:11:07 +0000 (12:11 +0000)
commit8f6612ce33185ad9f5c2dd44ba067099486ae976
tree7f87f91ae2f75f929bdbce866da7d3d34c60ac5b
parent6187b40af194fb960d91653682a0eb2096f20f3b
return also .types uri in getalluris/
helm/ocaml/getter/http_getter.ml