--- a/.settings/org.eclipse.core.resources.prefs Thu Oct 10 10:36:14 2013 +0200
+++ b/.settings/org.eclipse.core.resources.prefs Thu Oct 10 14:58:25 2013 +0200
@@ -1,5 +1,7 @@
eclipse.preferences.version=1
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/models/notice.py=utf-8
encoding//src/core/models/term.py=utf-8
encoding//src/core/settings.py=utf-8