| 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