.settings/org.eclipse.core.resources.prefs
changeset 146 b5ce341745e3
parent 137 e2043b49682d
child 151 ca46b8e1b717
--- 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