diff mxtool/.pydevproject @ 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 527724d26036
children
line wrap: on
line diff