diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 11604:943f1863e1c1

Early exit from ReentrantNodeIterator.
author Roland Schatz <roland.schatz@oracle.com>
date Wed, 11 Sep 2013 16:41:15 +0200
parents 3417a9177425
children
line wrap: on
line diff