Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
[yosys.git] / techlibs / .gitignore
2013-01-05 Clifford Wolfadded .gitignore files