summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2011-04-07 19:03:40 -0700
committerGravatar Rustan Leino <leino@microsoft.com>2011-04-07 19:03:40 -0700
commit78549b3bd1a98ec35726daa8637b3cc804505e56 (patch)
treef75f81a14cfb3591a8c828bb49ce820b23efff60 /.hgignore
parente252e9f1bff21da79411355af7daf0822bbd63f9 (diff)
Ignore other temporary files, including emacs backup files
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore6
1 files changed, 4 insertions, 2 deletions
diff --git a/.hgignore b/.hgignore
index 1db86c27..f89dcc4d 100644
--- a/.hgignore
+++ b/.hgignore
@@ -1,11 +1,13 @@
syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
-^(Source|BCT)/.*\.(user|suo|cache)$
+^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
+^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
Test/([^/]*)/Output
Test/([^/]*)/([^/]*)\.sx
-Test/VSComp2010/out\.cs
+Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs
+^.*~$