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

GUI for feed settings
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sun, 16 May 2010 08:26:46 +0200
parents 9fa1e33b67da
children db35ab7753f0
line wrap: on
line diff
--- a/.settings/org.eclipse.core.resources.prefs	Sun May 16 08:13:07 2010 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Sun May 16 08:26:46 2010 +0200
@@ -1,4 +1,5 @@
-#Fri May 14 07:19:36 CEST 2010
+#Sun May 16 08:17:30 CEST 2010
 eclipse.preferences.version=1
 encoding/Ui_AddFeed.py=utf-8
+encoding/Ui_FeedSettings.py=utf-8
 encoding/Ui_MainWindow.py=utf-8