comparison mx/eclipse-settings/org.eclipse.core.resources.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 f11d3d5248b5
children
comparison
equal deleted inserted replaced
21094:56668f0816f7 21095:9212e6b75c07