log

age author description
Mon, 08 Apr 2013 18:47:06 +0200 Gilles Duboscq Be more careful while updating jvm.cfg (fixes a bug where the -server configuration would overwrite the -server0 one)