diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5103:276e14614531

Added jdkhome command to mx.
author Doug Simon <doug.simon@oracle.com>
date Tue, 20 Mar 2012 14:43:09 +0100
parents 04ebcabcba4f
children 44d92b447951
line wrap: on
line diff