diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7821:b96083fb7449

Removed unused field in CompilationResult class.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 19 Feb 2013 16:52:52 -0800
parents 1ca1425a067f
children c6c3515bea8e
line wrap: on
line diff