comparison .settings/org.eclipse.core.resources.prefs @ 79:d11c3f71ac40

Make update interval editable via the feed's settings dialog.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Aug 2010 03:11:15 +0200
parents db35ab7753f0
children 460a3062c5e6
comparison
equal deleted inserted replaced
78:a728bbc7171e 79:d11c3f71ac40