comparison mx/eclipse-settings/org.eclipse.jdt.ui.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
comparison
equal deleted inserted replaced
4273:0519dc447740 4274:2d2b31b6feae