--- a/.hgignore Tue Sep 13 20:51:14 2016 +0200 +++ b/.hgignore Wed Sep 14 16:24:51 2016 +0200 @@ -21,3 +21,4 @@ ^doc/.*\.ps ^src/Tools/jEdit/dist/ ^Admin/jenkins/ci-extras/target/ +^stats/