comparison mx/eclipse-settings/org.eclipse.core.resources.prefs @ 18507:c2b45b536677

Constant fold elements of switch table and enum values() arrays
author Andreas Woess <andreas.woess@jku.at>
date Tue, 25 Nov 2014 20:26:59 +0100
parents f11d3d5248b5
children
comparison
equal deleted inserted replaced
18506:97026ca2a86e 18507:c2b45b536677