]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 722f0a2) | patch
Bug fixed: the result was declared as gzipped even when it was not so
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 16:01:27 +0000 (16:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 16:01:27 +0000 (16:01 +0000)
commit5d47f034e238123419deac34b530c18fb9540681
tree0795557447e2dfe645f29f4ff46ad1f60ba14079tree | snapshot
parent722f0a29884564efec65ea5e9c422c297eea8353commit | diff
Bug fixed: the result was declared as gzipped even when it was not so
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.