log .settings/org.eclipse.core.resources.prefs @ 94:a16c4e2b2c55

age author description
Sat, 24 Jul 2010 03:11:06 +0200 Dirk Olmes add a preference to hide read feed entries
Sun, 16 May 2010 08:26:46 +0200 Dirk Olmes GUI for feed settings