.gitignore: don't ignore /model anymore

[model-checker.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 07fe7eb943f3fbc9824f51f2d177c16863da7d78..c5c3e71dfd9cd0fcb3ff71827927773bafd94d85 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,5 @@
 *~
 
 # files in this directory
-/model
 /tags
 /docs