Mercurial > hg > graal-jvmci-8
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 |