diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18218:8588db09f5e9

mx jol: let user select from found classes, skip duplicates
author Andreas Woess <andreas.woess@jku.at>
date Wed, 29 Oct 2014 19:54:50 +0100
parents 3417a9177425
children
line wrap: on
line diff