Merge pull request #829 from abdelrahmanhosny/master
authorSerge Bazanski <q3k@q3k.org>
Thu, 13 Jun 2019 10:14:37 +0000 (12:14 +0200)
committerGitHub <noreply@github.com>
Thu, 13 Jun 2019 10:14:37 +0000 (12:14 +0200)
Dockerfile for Yosys


Trivial merge