713b7b2f5d
gunzip should not try to seek the stream, but an issue was reported in #407, where it fails with gzip: stdin: unexpected end of file So we're writing to a file first just to be safer. Fixes #407. |
||
---|---|---|
.. | ||
stage2 | ||
templates | ||
tools | ||
zimfw.zsh.erb |