diff -r 86decd4038b5 -r d1dc77afbd27 .hgignore --- a/.hgignore Wed May 22 10:11:39 2013 -0700 +++ b/.hgignore Wed May 22 17:48:15 2013 -0700 @@ -36,4 +36,6 @@ \.diff$ \.tr$ \#[^\#/]+\#$ +^coverity syntax: glob +TAGS \ No newline at end of file