]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e34c17) | patch
- support file:// URL scheme in http_get
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 17:07:22 +0000 (17:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 17:07:22 +0000 (17:07 +0000)
commitf4389bc575610ab6cabcc0a034ae5a3b92739f60
tree4cdd051eb78f64a25ddba1297985dbed20284621tree | snapshot
parent1e34c17c30ee6c992f3759bd0f0d5012e6803092commit | diff
- support file:// URL scheme in http_get
helm/http_getter/http_getter_misc.ml diff | blob | history
helm/http_getter/http_getter_misc.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.