Merge pull request #446 from mithro/travis-rework
authorClifford Wolf <clifford@clifford.at>
Fri, 24 Nov 2017 05:49:15 +0000 (06:49 +0100)
committerGitHub <noreply@github.com>
Fri, 24 Nov 2017 05:49:15 +0000 (06:49 +0100)
Reworking the Travis CI for Yosys.


Trivial merge