.settings/org.eclipse.core.resources.prefs
changeset 736 7917cd78d1f4
parent 731 aba6c30b6d2a
child 740 d03908cf3c73
--- a/.settings/org.eclipse.core.resources.prefs	Mon Aug 06 00:30:24 2012 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Aug 07 15:37:43 2012 +0200
@@ -22,7 +22,6 @@
 encoding//src/ldt/ldt/ldt_utils/migrations/0019_recalculate_media_hash_src.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0020_auto__add_field_segment_id_hash__chg_field_segment_iri_id__chg_field_s.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0021_recalculate_segment_id_hash_script.py=utf-8
-encoding//src/ldt/ldt/ldt_utils/migrations/0022_auto__chg_field_segment_cutting_id__chg_field_segment_ensemble_id__chg.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/views/json.py=utf-8
 encoding//src/ldt/ldt/management/utils.py=utf-8
 encoding//src/ldt/ldt/test/test_runner.py=utf-8