comparison .settings/org.eclipse.core.resources.prefs @ 111:c17a224bc251

make the keep interval for feeds configurable via the GUI. Fix saving the proxy settings
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 31 Mar 2011 03:15:39 +0200
parents db35ab7753f0
children 460a3062c5e6
comparison
equal deleted inserted replaced
110:43c234c8fe87 111:c17a224bc251