diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4274:2d2b31b6feae

move graal class path entries into a separate file that can be generated by the mx script
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 12 Jan 2012 14:50:14 +0100
parents ffd5ce8fc736
children 04ebcabcba4f
line wrap: on
line diff