]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c4ea4a) | patch
do not cache local resources (i.e. file:// urls)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:24:01 +0000 (09:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:24:01 +0000 (09:24 +0000)
commitd753d75c2270721e58940ba1c347d6371a993683
treed489486a0142672c4aaec1c5e97c11d5e8524235tree | snapshot
parent2c4ea4a4b9d416f68131cce2b7b85bc1690a512ecommit | diff
do not cache local resources (i.e. file:// urls)
helm/ocaml/getter/http_getter_cache.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.