.settings/org.eclipse.core.resources.prefs
changeset 42 cb2a0e2d3bbf
parent 39 cfcde480cdef
child 48 d9a45c366c6c
--- a/.settings/org.eclipse.core.resources.prefs	Tue Mar 16 01:29:17 2010 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Mar 17 01:04:49 2010 +0100
@@ -1,7 +1,8 @@
-#Thu Mar 04 12:01:13 CET 2010
+#Wed Mar 17 00:02:25 CET 2010
 eclipse.preferences.version=1
 encoding//ztfy/utils/__init__.py=utf-8
-encoding//ztfy/utils/catalog.py=utf-8
+encoding//ztfy/utils/catalog/__init__.py=utf-8
+encoding//ztfy/utils/catalog/index.py=utf-8
 encoding//ztfy/utils/file.py=utf-8
 encoding//ztfy/utils/html.py=utf-8
 encoding//ztfy/utils/protocol/xmlrpc.py=utf-8