.settings/org.eclipse.core.resources.prefs
changeset 658 5f22830ffcd7
parent 652 cdbd6d1d8088
child 713 202fb1255d8b
child 718 5e27a39d3742
--- a/.settings/org.eclipse.core.resources.prefs	Thu Jun 07 18:44:08 2012 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Fri Jun 08 02:33:36 2012 +0200
@@ -11,6 +11,7 @@
 encoding//src/ldt/ldt/ldt_utils/migrations/0010_auto__add_annotationstat.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0011_gen_stat_annotation.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0015_auto__add_contentstat__del_field_content_last_annotated__del_field_con.py=utf-8
+encoding//src/ldt/ldt/ldt_utils/migrations/0017_correct_image_path.py=utf-8
 encoding//src/ldt/ldt/management/utils.py=utf-8
 encoding//src/ldt/ldt/text/migrations/0001_initial.py=utf-8
 encoding//src/ldt/ldt/user/migrations/0001_initial.py=utf-8