Merge branch 'master' of https://github.com/rubund/yosys
authorClifford Wolf <clifford@clifford.at>
Tue, 13 Oct 2015 09:01:19 +0000 (11:01 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 13 Oct 2015 09:01:19 +0000 (11:01 +0200)

Trivial merge