.settings/org.eclipse.core.resources.prefs
changeset 282 514addb1d747
parent 281 bc0f26b1acc2
child 288 0bb9c29cd41d
--- a/.settings/org.eclipse.core.resources.prefs	Tue Jun 24 16:58:34 2014 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Jun 25 12:59:49 2014 +0200
@@ -13,6 +13,7 @@
 encoding//src/hdabo/migrations/0005_auto__chg_field_datasheet_organisation.py=utf-8
 encoding//src/hdabo/migrations/0006_auto__add_user__chg_field_datasheet_validator.py=utf-8
 encoding//src/hdabo/migrations/0007_auto__add_folder.py=utf-8
+encoding//src/hdabo/migrations/0008_to_dbpedia_fr.py=utf-8
 encoding//src/hdabo/models.py=utf-8
 encoding//src/hdabo/search/french_whoosh_backend.py=utf-8
 encoding//src/hdabo/tests/models.py=utf-8