From: David Shah <dave@ds0.me>
Date: Tue, 6 Aug 2019 18:05:35 +0000 (+0100)
Subject: Merge pull request #1232 from YosysHQ/dave/write_gzip
X-Git-Tag: working-ls180~1171
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8110fb9266e685aaea48359a5aebc4e5ac865240;p=yosys.git

Merge pull request #1232 from YosysHQ/dave/write_gzip

Add support for writing gzip-compressed files
---

8110fb9266e685aaea48359a5aebc4e5ac865240