ignore PicoSAT lying around

MichaelRawson · Jul 7, 2021 · c35604b · c35604b
1 parent 86a0228
commit c35604b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,7 +1,8 @@
+/libpicosat.a
 /data
 /target
 /m2k
 /m30k
 /FOF
 /Axioms
-/Problems
+/Problems