Merge pull request #1226 from YosysHQ/dave/gzip
authorDavid Shah <dave@ds0.me>
Sat, 27 Jul 2019 06:40:38 +0000 (07:40 +0100)
committerGitHub <noreply@github.com>
Sat, 27 Jul 2019 06:40:38 +0000 (07:40 +0100)
commit6538671c84a12114a991d59569eede3e0d368758
treefc79a549c0dc422d77928d306bd14f4235f62ebb
parenta02d1720a766ae1b993a9884e840f37b3d785b8f
parent482926cbd306cc71aebb81b1b8e825ced9b3f26d
Merge pull request #1226 from YosysHQ/dave/gzip

Add support for gzip'd input files
Makefile