comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 15107:1bf700e19e84

Make Loop generic.
author Josef Eisl <josef.eisl@jku.at>
date Wed, 09 Apr 2014 17:11:48 +0200
parents 5efc947b216b
children e3491381c424
comparison
equal deleted inserted replaced
15106:6876a4599b7e 15107:1bf700e19e84