projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3519c47)
.gitignore: don't ignore /model anymore
authorBrian Norris <banorris@uci.edu>
Fri, 17 Aug 2012 00:11:27 +0000 (17:11 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 17 Aug 2012 00:12:18 +0000 (17:12 -0700)
We don't produce an executable named 'model' anymore.

.gitignore patch | blob | history

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
C++11 memory model checker