diff .hgignore @ 8250:edc414f52e2b

Merge.
author Christian Humer <christian.humer@gmail.com>
date Tue, 12 Mar 2013 11:38:52 +0100
parents 2fc832fbff8d
children 387339fbc64e
line wrap: on
line diff
--- a/.hgignore	Tue Mar 12 11:38:24 2013 +0100
+++ b/.hgignore	Tue Mar 12 11:38:52 2013 +0100
@@ -7,7 +7,7 @@
 ^dist/
 ^java/
 ^lib/
-^jdk1.7.0
+^jdk1.(7|8).0
 ^java64/
 ^work/
 \.checkstyle$