]> matita.cs.unibo.it Git - helm.git/commit
- added some cache-control header telling not to cache some responses
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 17:06:55 +0000 (17:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 17:06:55 +0000 (17:06 +0000)
commit1e34c17c30ee6c992f3759bd0f0d5012e6803092
tree633a8c0d8a671b23c821d555e0b645ba72189cf8
parent2e41357d3d5cca73b3f91e83528d3758ca3e62db
- added some cache-control header telling not to cache some responses
helm/http_getter/http_getter.ml