changeset 7915:2fc832fbff8d

Add jdk1.8.0* to .hgignore
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 13 Feb 2013 20:29:01 +0100
parents af07019db85d
children 9bff64f43299
files .hgignore
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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$