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)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
tests/aiger/.gitignore
tests/various/.gitignore

index 073f46157e1095bf053ca682df582a0a1212d27b..9a26bb8f423c52c776bd83ddf72fc5f638ac8960 100644 (file)
@@ -1,2 +1 @@
-*.log
-*.out
+/*_ref.v
index 397b4a7624e35fa60563a9c03b1213d93f7b6546..7b3e8c68e71df2fe6fc13c4559229ca792601cb3 100644 (file)
@@ -1 +1,2 @@
-*.log
+/*.log
+/*.out