summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com>2011-04-12 10:31:31 -0700
committerGravatar Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com>2011-04-12 10:31:31 -0700
commitddd16cd53910f044fd4700463ff977091b983897 (patch)
tree32aa8c90aafe1e16d4885b1225455dfa6d789b02 /.hgignore
parentf5e18a17e2d6025b071b018df9ce7cc5cf4a1d8e (diff)
parent5e46321a3401b01fafe487c91f70d906d1ff0cf5 (diff)
merging in my changes i committed in 999.
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index f89dcc4d..1905d88e 100644
--- a/.hgignore
+++ b/.hgignore
@@ -11,3 +11,6 @@ Test/([^/]*)/Output
Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs
^.*~$
+syntax: glob
+BCT/TestResults/
+BCT/testimpactdata.sdf