comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 13937:814800074308

Allow disabling of redundant move elimination
author Christian Wimmer <christian.wimmer@oracle.com>
date Wed, 12 Feb 2014 10:23:21 -0800
parents 3417a9177425
children
comparison
equal deleted inserted replaced
13936:e79579c921ff 13937:814800074308