.settings/org.eclipse.core.resources.prefs
changeset 187 a59dd2aed213
parent 146 e2d3fa7aad7c
child 188 74bad93d3cb7
--- a/.settings/org.eclipse.core.resources.prefs	Fri Aug 19 17:15:21 2011 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Thu Sep 29 12:43:52 2011 +0200
@@ -1,6 +1,8 @@
-#Thu Aug 18 16:43:26 CEST 2011
+#Thu Aug 25 11:05:36 CEST 2011
 eclipse.preferences.version=1
+encoding//src/ldt/ldt/core/migrations/0001_initial.py=utf-8
 encoding//src/ldt/ldt/core/migrations/0002_auto__del_owner.py=utf-8
+encoding//src/ldt/ldt/ldt_utils/migrations/0001_initial.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0002_auto__add_field_media_mimetype_field__chg_field_media_external_src_url.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0003_auto__chg_field_project_owner.py=utf-8
 encoding//src/ldt/ldt/user/migrations/0002_auto__del_irigroup.py=utf-8