comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 16400:fca7699bacd8

RemoveValueProxyPhase should remove dead framestates recursively
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 02 Jul 2014 16:54:45 +0200
parents e3491381c424
children 7e2c87dae93e
comparison
equal deleted inserted replaced
16399:4481cf549cfc 16400:fca7699bacd8