From: Brian Norris <banorris@uci.edu>
Date: Fri, 17 Aug 2012 00:11:27 +0000 (-0700)
Subject: .gitignore: don't ignore /model anymore
X-Git-Tag: pldi2013~270
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6242ed60848e5c0b0973314739dac4d679aa490d;p=model-checker.git

.gitignore: don't ignore /model anymore

We don't produce an executable named 'model' anymore.
---

diff --git a/.gitignore b/.gitignore
index 07fe7eb..c5c3e71 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,5 @@
 *~
 
 # files in this directory
-/model
 /tags
 /docs