# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1488674305 0
# Node ID a375e31bf312c7238c813b3133a4b688d1a452ff
# Parent  bb883e063175bd62bf9432ccea054f6c5575eedb
Ignore bug report files.

diff -r bb883e063175 -r a375e31bf312 .hgignore
--- a/.hgignore	Sun Mar 05 00:37:54 2017 +0000
+++ b/.hgignore	Sun Mar 05 00:38:25 2017 +0000
@@ -1,5 +1,7 @@
 .project
 
+syntax: glob
+bug_report*
 syntax: regexp
 ^tests/.*/build$
 syntax: regexp