diff -r 859862939996 -r f770159c3cee .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Tue Jun 25 15:34:18 2013 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Jun 25 16:10:23 2013 +0200
@@ -1,6 +1,11 @@
 eclipse.preferences.version=1
 encoding//src/core/import_processor.py=utf-8
+encoding//src/core/migrations/0001_initial.py=utf-8
+encoding//src/core/migrations/0002_auto__add_field_term_wikipedia_edition.py=utf-8
+encoding//src/core/migrations/0003_auto__add_srepnoticeterm.py=utf-8
+encoding//src/core/migrations/0004_auto__add_field_term_link_semantic_level.py=utf-8
 encoding//src/core/migrations/0005_set_semantic_link_level.py=utf-8
+encoding//src/core/migrations/0006_auto__del_unique_noticeimage_relative_url__add_unique_noticeimage_noti.py=utf-8
 encoding//src/core/models/notice.py=utf-8
 encoding//src/core/models/term.py=utf-8
 encoding//src/core/rdf_models.py=utf-8