diff mx/org.eclipse.jdt.core.prefs @ 4138:82af018d61db

Merge fixes.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 17 Dec 2011 22:03:44 +0100
parents 3e2e8b8abdaf
children 04d21be7a24f
line wrap: on
line diff