log .settings/org.eclipse.core.resources.prefs @ 48:6e5219e05625

age author description
Sun, 16 May 2010 08:26:46 +0200 Dirk Olmes GUI for feed settings