.hgignore
branch3.26
changeset 12371 923f9c9f56c5
parent 12122 92aef8c6e7c8
--- a/.hgignore	Tue Feb 12 14:43:45 2019 +0100
+++ b/.hgignore	Tue Feb 12 16:11:54 2019 +0100
@@ -32,3 +32,4 @@
 ^doc/_build
 ^doc/js_api/
 test-results.xml
+ve