diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 18956:7ce65ad21684

Fix unused import.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 26 Jan 2015 23:31:20 +0100
parents e3491381c424
children 7e2c87dae93e
line wrap: on
line diff