comparison .settings/org.eclipse.core.resources.prefs @ 105:d372b3ee7bd8

add marking the entire current selection as read
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 07 Mar 2011 07:08:12 +0100
parents db35ab7753f0
children 460a3062c5e6
comparison
equal deleted inserted replaced
104:4f87be5399ff 105:d372b3ee7bd8