.settings/org.eclipse.core.resources.prefs
changeset 36 14084f98ac50
parent 29 035058514c2d
child 39 cfcde480cdef
--- a/.settings/org.eclipse.core.resources.prefs	Tue Mar 02 23:35:42 2010 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Mar 02 23:36:04 2010 +0100
@@ -1,9 +1,15 @@
-#Tue Dec 22 11:37:26 CET 2009
+#Mon Mar 01 12:17:11 CET 2010
 eclipse.preferences.version=1
 encoding//ztfy/utils/__init__.py=utf-8
 encoding//ztfy/utils/catalog.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
 encoding//ztfy/utils/request.py=utf-8
+encoding//ztfy/utils/tal/html.py=utf-8
+encoding//ztfy/utils/tal/interfaces.py=utf-8
+encoding//ztfy/utils/tal/text.py=utf-8
+encoding//ztfy/utils/text.py=utf-8
+encoding//ztfy/utils/traversing.py=utf-8
 encoding//ztfy/utils/unicode.py=utf-8
 encoding/setup.py=utf-8