Update some .gitignore files
authorClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 12:27:57 +0000 (14:27 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 12:27:57 +0000 (14:27 +0200)
commita8c85d1b4b810e2ea31770e37e1414b7f1a15283
tree5f7387904c01d5f08b579e8a2772a7698b16f709
parent11ec7b2aecddc72747ccdc30d2674583062d58d3
Update some .gitignore files

Signed-off-by: Clifford Wolf <clifford@clifford.at>
tests/aiger/.gitignore
tests/various/.gitignore