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

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