view mxtool/eclipse-settings/org.eclipse.core.resources.prefs @ 22200:ca38f84b17fc

RedundantMoveElimination: use stack offset as index for stackIndices.
author Josef Eisl <josef.eisl@jku.at>
date Fri, 10 Jul 2015 15:10:51 +0200
parents 1e72b0915423
children
line wrap: on
line source

eclipse.preferences.version=1
encoding/<project>=UTF-8