.settings/org.eclipse.core.resources.prefs
changeset 22 83b28fc0d731
parent 9 22ab430e9b64
--- a/.settings/org.eclipse.core.resources.prefs	Fri Nov 19 18:14:02 2010 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Mon Dec 13 23:55:19 2010 +0100
@@ -1,4 +1,3 @@
-#Tue Nov 16 12:57:53 CET 2010
-eclipse.preferences.version=1
-encoding//web/ldt/ldt_utils/tests.py=UTF-8
-encoding//web/ldt/text/tests.py=UTF-8
+#Mon Dec 13 23:54:00 CET 2010
+eclipse.preferences.version=1
+encoding//web/ldt/ldt_utils/tests.py=UTF-8