diff -r eb6e0a3b3b01 -r f4fadc1b9d70 .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Thu Jun 27 22:30:56 2013 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Thu Jun 27 22:31:40 2013 +0200
@@ -6,6 +6,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/migrations/0007_auto__add_field_term_nb_notice.py=utf-8
+encoding//src/core/migrations/0008_populate_nb_notice.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