.settings/org.eclipse.core.resources.prefs
branchZTK-1.1
changeset 70 82d8de021806
parent 59 d81fcb734e6c
child 73 96079b5bdc1f
--- a/.settings/org.eclipse.core.resources.prefs	Tue Dec 07 17:27:24 2010 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Sun May 22 22:37:32 2011 +0200
@@ -1,4 +1,4 @@
-#Fri Aug 27 09:08:36 CEST 2010
+#Fri Nov 12 14:48:38 CET 2010
 eclipse.preferences.version=1
 encoding//ztfy/utils/__init__.py=utf-8
 encoding//ztfy/utils/catalog/__init__.py=utf-8
@@ -10,10 +10,12 @@
 encoding//ztfy/utils/protocol/xmlrpc.py=utf-8
 encoding//ztfy/utils/request.py=utf-8
 encoding//ztfy/utils/security.py=utf-8
+encoding//ztfy/utils/session.py=utf-8
 encoding//ztfy/utils/site.py=utf-8
 encoding//ztfy/utils/tal/html.py=utf-8
 encoding//ztfy/utils/tal/interfaces.py=utf-8
 encoding//ztfy/utils/tal/request.py=utf-8
+encoding//ztfy/utils/tal/session.py=utf-8
 encoding//ztfy/utils/tal/text.py=utf-8
 encoding//ztfy/utils/tests/test_utilsdocs.py=utf-8
 encoding//ztfy/utils/tests/test_utilsdocstrings.py=utf-8