diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 7035:52c88c405d07

Simplify how stamp is preserved after lowering of allocation nodes
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 26 Nov 2012 19:30:54 -0800
parents 04ebcabcba4f
children 44d92b447951
line wrap: on
line diff