diff mx/eclipse-settings/org.eclipse.jdt.ui.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 3417a9177425
children
line wrap: on
line diff