screen shrinking done

[mc1516pa.git] / modelchecker / .gitignore

diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore
index 84abf5a..87e54c2 100644 (file)
--- a/modelchecker/.gitignore
+++ b/modelchecker/.gitignore
@@ -1,2 +1,2 @@
 main
-sylvan
+*.o