diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-23 00:07:43 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-23 00:07:43 -0700 |
| commit | 4119a14a906c3331921c4a44d84bdd30b3628af5 (patch) | |
| tree | 6e2524facab016e4a6f6b1d71c144286d2d8a8ce /.hgignore | |
| parent | 69f54c327bcc5a41a143bce88b5ba2327d7246a7 (diff) | |
Exclude axiom-profiler.html and z3.log files in the Test directory
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -11,6 +11,8 @@ Test/([^/]*)/([^/]*)\.sx Test/.*/flycheck_.*
.*\.orig
Test/.*\.bpl
+Test/.*/axiom-profiler.html
+Test/.*/z3.log
syntax: glob
*.exe
*.pdb
|