diff options
| author | David Shah <dave@ds0.me> | 2019-08-06 19:05:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-06 19:05:35 +0100 |
| commit | 8110fb9266e685aaea48359a5aebc4e5ac865240 (patch) | |
| tree | 51aec1019478938e35ea0df0aeaec77b26c99017 /backends | |
| parent | a4b59de5d48a89ba5e1b46eb44877a91ceb6fa44 (diff) | |
| parent | 3a3da678ad0902ad0b16fe48cbb10053cd7dcb28 (diff) | |
| download | yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.tar.gz yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.tar.bz2 yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.zip | |
Merge pull request #1232 from YosysHQ/dave/write_gzip
Add support for writing gzip-compressed files
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions