From 3260ae75cbc04e946eb1ac223872b60a380d09ca Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 7 Oct 2010 22:28:39 +0000
Subject: Add one more file

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 0d567cbb..c6ee95ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -62,7 +62,7 @@ Binaries/VCExpr.dll
 Binaries/VCExpr.pdb
 Binaries/VCGeneration.dll
 Binaries/VCGeneration.pdb
-Binaries/Boogie.vshost.exe
+Binaries/Boogie.vshost.exe*
 Binaries/CodeContractsExtender.dll
 Binaries/CodeContractsExtender.pdb
 Binaries/Dafny.exe
-- 
cgit v1.2.3