From: David Shah <dave@ds0.me>
Date: Sat, 27 Jul 2019 06:40:38 +0000 (+0100)
Subject: Merge pull request #1226 from YosysHQ/dave/gzip
X-Git-Tag: working-ls180~1180
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6538671c84a12114a991d59569eede3e0d368758;p=yosys.git

Merge pull request #1226 from YosysHQ/dave/gzip

Add support for gzip'd input files
---

6538671c84a12114a991d59569eede3e0d368758