]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f7227d) | patch
Fixed a bug in the case cachemode=gzipped, resourcetype=normal.
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 12:26:51 +0000 (12:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 12:26:51 +0000 (12:26 +0000)
commit5d0baa53370ca836f6ca024e2b4082235f6a82af
treeed1ec6282234de23583d8e5db704ca341453649btree | snapshot
parent2f7227d339116196ccbe52b86923051441e2647dcommit | diff
Fixed a bug in the case cachemode=gzipped, resourcetype=normal.
(note: it's time to adopt "use strict" in http_getter.pl !!!!)
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.