diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 14:30:48 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 14:30:48 -0700 |
| commit | 594809c6668c26c3b838153ba4a4222ebef3312d (patch) | |
| tree | f360e60cbcee5bc6220d8c5a2332226504c70fa3 | |
| parent | 990966db7dcea00045c5c104ded084348e8f7dde (diff) | |
Update .ignore
| -rw-r--r-- | .hgignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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
|