diff -r 258a2dbf4042 -r 16b49f9cd7a8 .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Mon Dec 02 17:25:45 2013 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Dec 03 18:30:12 2013 +0100
@@ -1,4 +1,5 @@
 eclipse.preferences.version=1
+encoding//src/core/forms.py=utf-8
 encoding//src/core/migrations/0002_auto__add_field_term_wikipedia_edition.py=utf-8
 encoding//src/core/migrations/0003_auto__add_srepnoticeterm.py=utf-8
 encoding//src/core/migrations/0004_auto__add_field_term_link_semantic_level.py=utf-8