# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1360783741 -3600
# Node ID 2fc832fbff8d09802e2c7e6835e8481bad0d04cf
# Parent  af07019db85d3f38ddb47baf2e188afd3f2d2da7
Add jdk1.8.0* to .hgignore

diff -r af07019db85d -r 2fc832fbff8d .hgignore
--- a/.hgignore	Wed Feb 13 18:46:24 2013 +0100
+++ b/.hgignore	Wed Feb 13 20:29:01 2013 +0100
@@ -7,7 +7,7 @@
 ^dist/
 ^java/
 ^lib/
-^jdk1.7.0
+^jdk1.(7|8).0
 ^java64/
 ^work/
 \.checkstyle$