Re: [galaxy-user] zip vs. gzip