From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Jan 2003 14:24:49 +0000 (+0000)
Subject: rewritten 'gzip' and 'gunzip' using Zip module instead of calling
X-Git-Tag: v0_3_99~67
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bbb280d199ff7b34f7ec00f632bfada722fd1037;hp=bbb280d199ff7b34f7ec00f632bfada722fd1037;p=helm.git

rewritten 'gzip' and 'gunzip' using Zip module instead of calling
external shell commands which seem to cause segfaults
---