Merge branch 'master' of github.com:cliffordwolf/yosys
authorClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2013 15:51:13 +0000 (16:51 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2013 15:51:13 +0000 (16:51 +0100)

Trivial merge