summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar stobies <unknown>2011-09-05 13:34:22 +0200
committerGravatar stobies <unknown>2011-09-05 13:34:22 +0200
commit146feb39edf4309473e85ebeb5c7bd776b2a94ee (patch)
treeea0c19dc6260cde716832e84e2042549e2745660 /.hgignore
parent982548560d971b07dcaefb39f186833186724570 (diff)
Added build version stamping for Houdini.dll
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index f49e365b..2a837628 100644
--- a/.hgignore
+++ b/.hgignore
@@ -1,7 +1,7 @@
syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
-^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
+^(Source|BCT|Jennisys)/.*\.(user|suo|cache|vs10x)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$