comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 7811:94ea9a864fc6

Remove usages of VmIds.toString.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 18 Feb 2013 19:08:52 -0800
parents 3417a9177425
children
comparison
equal deleted inserted replaced
7810:5aa05e6f9dee 7811:94ea9a864fc6