]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/getter/http_getter_storage.ml
added support for repository attributes
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:50:58 +0000 (13:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:50:58 +0000 (13:50 +0000)
commit6bbeb650abc3a94e76d683aa47b2e46254d495d1
treec34ecebc734f7241c566d1517ee8f70d63f08167
parent2309e0d8bf7a82ca817009ed296b96d69e26f494
added support for repository attributes
helm/ocaml/getter/http_getter_env.ml
helm/ocaml/getter/http_getter_env.mli
helm/ocaml/getter/http_getter_storage.ml
helm/ocaml/getter/http_getter_storage.mli
helm/ocaml/getter/http_getter_types.ml