Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
authorAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Jan 2014 09:54:54 +0000 (10:54 +0100)
committerAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Jan 2014 09:54:54 +0000 (10:54 +0100)
1  2 
Makefile

diff --cc Makefile
Simple merge