]> matita.cs.unibo.it Git - helm.git/commit
local_url predicate (recognize file:// urls)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:24:46 +0000 (09:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:24:46 +0000 (09:24 +0000)
commit73ad0985990447db97f17870d2744f8fda13ebe4
tree44bd7570cbff805fa7fd64d7bb6f7cb1dcdf2cba
parentd753d75c2270721e58940ba1c347d6371a993683
local_url predicate (recognize file:// urls)
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/getter/http_getter_misc.mli