summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com>2011-04-27 20:48:03 -0700
committerGravatar Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com>2011-04-27 20:48:03 -0700
commit405fb677e7fad891b299723c2f6da10ba5636cc7 (patch)
treea5657e282c29ec707db5df4eefa0311e3e6be8f5 /.hgignore
parent433a0ef10606446f1b3c7bec25a523f660df8bdb (diff)
parentb7ff2a37f38f5045ae636aa544bbe623dec46187 (diff)
merge changes with shaz's checkin.
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index 1905d88e..6852779f 100644
--- a/.hgignore
+++ b/.hgignore
@@ -4,7 +4,7 @@ syntax: regexp
^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
-^.*(bin|obj)/([^/]*/)?(Debug|Release)/.*$
+^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
Test/([^/]*)/Output