diff mxtool/mx @ 17015:ffddcdca8e74

mx: support different name for jvm.cfg
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 02 Sep 2014 14:47:10 +0200
parents 98918f518640
children 841a9f98b97c
line wrap: on
line diff