Overview
Artifact ID: | 5a55ee6d407f990fd00f17a89b2c6e6e1c90b2a8 |
---|---|
Ticket: | b75a76b0cbcfa846f6cb99fb41b33960d24f488c
Handle gzipped files |
User & Date: | peter 2017-01-10 16:03:32 |
Changes
- icomment:
Handle gzipped files directly if requested, or maybe by file name? I.e. do this when reading files: zlib push gunzip $ch
- login: "peter"
- mimetype: "text/x-fossil-plain"
- severity changed to: "Minor"
- status changed to: "Open"
- title changed to: "Handle gzipped files"
- type changed to: "Feature_Request"