]> matita.cs.unibo.it Git - helm.git/commit
Added mixed cache support through HTTP_GETTER_CACHE_MODE environment variable
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 30 Jan 2001 09:59:38 +0000 (09:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 30 Jan 2001 09:59:38 +0000 (09:59 +0000)
commit07b29a457f5f16e1aa85afbe057242a01c9303f1
tree473a28ec0c716ef84ccf1e4e8e24321afcbc8d90
parent4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf
Added mixed cache support through HTTP_GETTER_CACHE_MODE environment variable
helm/http_getter/http_getter.pl.in