From 45fb2f73118bf4010ad08757122d829c76e676d3 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Tue, 12 Oct 2010 01:18:45 +0000
Subject: Make the -mv option use the new Model class.

---
 .gitignore | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index c6ee95ca..3ac7f5b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,4 @@
-Source/AIFramework/bin/
-Source/AIFramework/obj/
-Source/AbsInt/bin/
-Source/AbsInt/obj/
-Source/Basetypes/bin/
+Source/t
 Source/_ReSharper.Boogie
 Source/Provers/*/*.user
 Source/*/*.user
-- 
cgit v1.2.3