comparison mx/eclipse-settings/org.eclipse.core.resources.prefs @ 14845:ba13350ee179

Fix LIRGenerator casting problem.
author Josef Eisl <josef.eisl@jku.at>
date Wed, 26 Mar 2014 15:14:27 +0100
parents f11d3d5248b5
children
comparison
equal deleted inserted replaced
14844:b9b1129a5d85 14845:ba13350ee179