diff mxtool/mx @ 7916:9bff64f43299

Better java version numbers support in mx
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 04 Mar 2013 09:48:14 +0100
parents 71a2cd79c375
children a607682f7ba6
line wrap: on
line diff