added fancy benchmark

[mc1516pa.git] / code / .gitignore

diff --git a/code/.gitignore b/code/.gitignore
index bf86cd0..b4022a0 100644 (file)
--- a/code/.gitignore
+++ b/code/.gitignore
@@ -1,2 +1,5 @@
 Clean System Files
 a.out
+SokobanObjectwise
+*.prj
+NuSMV