.settings/org.eclipse.core.resources.prefs
changeset 28 ec82f750a462
child 29 035058514c2d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Dec 02 23:12:23 2009 +0100
@@ -0,0 +1,6 @@
+#Thu Nov 19 15:20:04 CET 2009
+eclipse.preferences.version=1
+encoding//ztfy/utils/catalog.py=utf-8
+encoding//ztfy/utils/file.py=utf-8
+encoding//ztfy/utils/protocol/xmlrpc.py=utf-8
+encoding//ztfy/utils/unicode.py=utf-8