diff -r eaea3e654cf6 -r 7331ecc46cba .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Tue Nov 05 18:03:30 2013 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Nov 06 17:56:19 2013 +0100
@@ -1,7 +1,12 @@
 eclipse.preferences.version=1
+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/0008_populate_nb_notice.py=utf-8
 encoding//src/core/migrations/0011_auto__add_field_term_nb_illustrated_notice.py=utf-8
 encoding//src/core/migrations/0012_populate_nb_illustrated_notice.py=utf-8
+encoding//src/core/migrations/0013_order_images.py=utf-8
 encoding//src/core/models/notice.py=utf-8
 encoding//src/core/models/term.py=utf-8
 encoding//src/core/settings.py=utf-8