Christian Biere
217.187.129.82 | Re: gzip support | June 14 2004, 6:34 PM |
I've written a patch including various improvements a while ago. It hasn't been integrated into generator yet. The patch includes support for bzip2 and gzip. If you want the patch, drop me a mail:
christianbiere at gmx dot de
| |
|