diff mx/org.eclipse.jdt.ui.prefs @ 4149:cf4de9cc1268

Integrated latest mxtool updates.
author Doug Simon <doug.simon@oracle.com>
date Tue, 20 Dec 2011 10:36:44 +0100
parents 3e2e8b8abdaf
children
line wrap: on
line diff