1 files changed, 5 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index 0c0fdbfd..9fc841bd 100644
--- a/.hgignore
+++ b/.hgignore
@@ -9,6 +9,11 @@ Test/([^/]*)/([^/]*)\.sx
 ^Test/sandbox/.*

 ^Test/.*\.csv

 Package/.*

+Test/.*/flycheck_.*

+.*\.orig

+Test/.*\.bpl

+Test/.*/axiom-profiler.html

+Test/.*/z3.log

 syntax: glob

 *.exe

 *.pdb