diff .hgtags @ 5870:d84a26dc32f5

Make 'db' directory from JDK optional since it does not exists in all OpenJDK-based JDKs (cf. Icedtea)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 20 Jul 2012 14:40:17 +0200
parents 33df1aeaebbf
children 957c266d8bc5
line wrap: on
line diff