summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-07-31 14:30:48 -0700
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-07-31 14:30:48 -0700
commit594809c6668c26c3b838153ba4a4222ebef3312d (patch)
treef360e60cbcee5bc6220d8c5a2332226504c70fa3
parent990966db7dcea00045c5c104ded084348e8f7dde (diff)
Update .ignore
-rw-r--r--.hgignore2
1 files changed, 2 insertions, 0 deletions
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