log mx/commands.py @ 5871:576460f7e740

age author description
Fri, 20 Jul 2012 14:40:37 +0200 Gilles Duboscq Merge
Fri, 20 Jul 2012 14:40:17 +0200 Gilles Duboscq Make 'db' directory from JDK optional since it does not exists in all OpenJDK-based JDKs (cf. Icedtea)