diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 9004:9f3a77848ea2

Merge with d2c34ddac70fe8636b79944417f44d396c0f9acf
author Michael Haupt <michael.haupt@oracle.com>
date Thu, 11 Apr 2013 11:26:38 +0200
parents c6c3515bea8e
children 5814f30f0baf
line wrap: on
line diff