Merge pull request #1232 from YosysHQ/dave/write_gzip
authorDavid Shah <dave@ds0.me>
Tue, 6 Aug 2019 18:05:35 +0000 (19:05 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Aug 2019 18:05:35 +0000 (19:05 +0100)
commit8110fb9266e685aaea48359a5aebc4e5ac865240
tree51aec1019478938e35ea0df0aeaec77b26c99017
parenta4b59de5d48a89ba5e1b46eb44877a91ceb6fa44
parent3a3da678ad0902ad0b16fe48cbb10053cd7dcb28
Merge pull request #1232 from YosysHQ/dave/write_gzip

Add support for writing gzip-compressed files