Mercurial > hg > graal-jvmci-8
diff mx/eclipse-settings/org.eclipse.core.resources.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 | f11d3d5248b5 |
children |