.settings/org.eclipse.core.resources.prefs
changeset 48 f4fadc1b9d70
parent 43 b9baab399b4d
child 61 0048668779c0
--- 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