comparison .settings/org.eclipse.core.resources.prefs @ 99:e59d722439b5

filter out read entries first before sorting
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 29 Dec 2010 04:27:58 +0100
parents db35ab7753f0
children 460a3062c5e6
comparison
equal deleted inserted replaced
98:3be484078991 99:e59d722439b5