blob: de39514db1e2f15c4e06630539aa23703349e8de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
syntax: regexp
^Source/.*\.(user|suo|cache|vs10x)$
^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef)$
^Source/.*\.(smt2|bpl)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
Test/.*/Output
Test/desktop/.*
Test/([^/]*)/([^/]*)\.sx
^Test/sandbox/.*
^Test/.*\.csv
syntax: glob
*.exe
*.pdb
*.dll
*.tmp
*.tmp.dfy
Source/DafnyExtension/DafnyRuntime.cs
Test/failing.lst
|
