comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 13370:3e67710a6d08

SchedulePhase: remove old memory aware scheudling
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 17 Dec 2013 21:39:01 +0100
parents f89188646695
children 2ba54e75b032
comparison
equal deleted inserted replaced
13369:c3ecad078114 13370:3e67710a6d08