comparison mxtool/mx.py @ 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 0b2675391d01
children 49b8c8932786
comparison
equal deleted inserted replaced
17014:6a30738791f7 17015:ffddcdca8e74