]> matita.cs.unibo.it Git - helm.git/commit - helm/http_getter/http_getter_common.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c4e8b5) | patch
added support for patch_fun also for gzipped documents
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:03:07 +0000 (18:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:03:07 +0000 (18:03 +0000)
commitfbba267d392714a70c1eaa74fa6b2116ce1caadf
tree989833b2b2d1eab157ba9de00bc3f6f6f776fa54tree | snapshot
parent9c4e8b582be9e83f1cef8eeb31bde1af907b195ecommit | diff
added support for patch_fun also for gzipped documents
helm/http_getter/http_getter_common.ml diff | blob | history
helm/http_getter/http_getter_common.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.