diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 21095:9212e6b75c07

Small clean-up in LoopEx
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Wed, 22 Apr 2015 16:45:33 +0200
parents 3417a9177425
children
line wrap: on
line diff