diff options
| author |  wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
| commit | 45638021e2d82e5cd16621ce5a0909ba9804eeaf (patch) | |
| tree | 636e917314b62563ab731b794568a9f438f796b6 /.hgignore | |
| parent | 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 (diff) | |
Updated several project files.
Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore new file mode 100644 index 00000000..bdb60e95 --- /dev/null +++ b/.hgignore @@ -0,0 +1,13 @@ +syntax: regexp
+^Source/.*\.(user|suo|cache|vs10x)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl)$
+^Source/.*\.(smt2|bpl)$
+^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
+Test/.*/Output
+Test/([^/]*)/([^/]*)\.sx
+syntax: glob
+*.exe
+*.pdb
+*.dll
+*.tmp
+*.tmp.dfy
|