]> matita.cs.unibo.it Git - helm.git/commit
Added preliminary support for gzipped library
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Jan 2001 12:58:05 +0000 (12:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Jan 2001 12:58:05 +0000 (12:58 +0000)
commit45eeb63cbcf9807064a4d67acf8396a3e42ad744
tree446ddd7627df074612f09784cd20083cf9eb949a
parent8e1a7e55cbc7750446f0a7ab3d071190594243fb
Added preliminary support for gzipped library
helm/http_getter/AUTHORS
helm/http_getter/http_getter.pl.in