diff mx/org.eclipse.jdt.ui.prefs @ 4147:55376d8953a6

Improved 'build' and 'clean' commands.
author Doug Simon <doug.simon@oracle.com>
date Mon, 19 Dec 2011 22:22:56 +0100
parents 3e2e8b8abdaf
children
line wrap: on
line diff