.settings/org.eclipse.core.resources.prefs
author wakimd
Wed, 22 Dec 2010 12:01:05 +0100
changeset 25 c8dfd7ea87e5
parent 22 83b28fc0d731
permissions -rw-r--r--
Corrections on merge

#Mon Dec 13 23:54:00 CET 2010
eclipse.preferences.version=1
encoding//web/ldt/ldt_utils/tests.py=UTF-8