From 6242ed60848e5c0b0973314739dac4d679aa490d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 16 Aug 2012 17:11:27 -0700
Subject: [PATCH] .gitignore: don't ignore /model anymore

We don't produce an executable named 'model' anymore.
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.34.1