Merge pull request #2372 from nakengelhardt/name_is_public
[yosys.git] / backends / btor / .gitignore
1 /test_cells.tmp/