From d56c8e6ea80eb5a501bda731fcc0047749df51e7 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Wed, 11 May 2011 17:30:32 -0700 Subject: More files for Hg to ignore --- .hgignore | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.hgignore b/.hgignore index a3ce089b..ccf5384a 100644 --- a/.hgignore +++ b/.hgignore @@ -7,9 +7,11 @@ syntax: regexp ^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$ ^Binaries/BytecodeTranslator$ ^BCT/Binaries/.*$ +^Chalice/bin/ Test/([^/]*)/Output Test/([^/]*)/([^/]*)\.sx -Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs +Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/(out\.cs|.*\.dll|.*\.pdb|.*\.exe) +Test/desktop/ ^.*~$ syntax: glob BCT/TestResults/ -- cgit v1.2.3