diff options
author | 2011-04-12 10:31:31 -0700 | |
---|---|---|
committer | 2011-04-12 10:31:31 -0700 | |
commit | ddd16cd53910f044fd4700463ff977091b983897 (patch) | |
tree | 32aa8c90aafe1e16d4885b1225455dfa6d789b02 /.hgignore | |
parent | f5e18a17e2d6025b071b018df9ce7cc5cf4a1d8e (diff) | |
parent | 5e46321a3401b01fafe487c91f70d906d1ff0cf5 (diff) |
merging in my changes i committed in 999.
Diffstat (limited to '.hgignore')
-rw-r--r-- | .hgignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -11,3 +11,6 @@ Test/([^/]*)/Output Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs
^.*~$
+syntax: glob
+BCT/TestResults/
+BCT/testimpactdata.sdf
|