From 594809c6668c26c3b838153ba4a4222ebef3312d Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 31 Jul 2015 14:30:48 -0700
Subject: Update .ignore

---
 .hgignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.hgignore b/.hgignore
index 22173264..de39514d 100644
--- a/.hgignore
+++ b/.hgignore
@@ -7,6 +7,7 @@ Test/.*/Output
 Test/desktop/.*
 Test/([^/]*)/([^/]*)\.sx
 ^Test/sandbox/.*
+^Test/.*\.csv
 syntax: glob
 *.exe
 *.pdb
@@ -14,3 +15,4 @@ syntax: glob
 *.tmp
 *.tmp.dfy
 Source/DafnyExtension/DafnyRuntime.cs
+Test/failing.lst
-- 
cgit v1.2.3