.settings/org.eclipse.core.resources.prefs
changeset 481 efd1aaee4b0c
parent 473 f469ab22542d
child 492 19220d52bce7
--- a/.settings/org.eclipse.core.resources.prefs	Thu Mar 05 16:58:40 2015 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Fri Mar 06 00:58:34 2015 +0100
@@ -47,6 +47,7 @@
 encoding//src/hdalab/management/commands/query_dbpedia.py=utf-8
 encoding//src/hdalab/management/commands/query_geo_inclusion.py=utf-8
 encoding//src/hdalab/management/commands/query_wikipedia_category.py=utf-8
+encoding//src/hdalab/management/commands/send_moderation_mail.py=utf-8
 encoding//src/hdalab/management/utils.py=utf-8
 encoding//src/hdalab/migrations/0001_initial.py=utf-8
 encoding//src/hdalab/migrations/0002_dataviz.py=utf-8