diff -r 8aff7e66e4c7 -r eb55bae28748 .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Fri May 29 00:51:04 2015 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Jul 15 15:43:35 2015 +0200
@@ -15,5 +15,6 @@
 encoding//src/ldt/ldt/management/utils.py=utf-8
 encoding//src/ldt/ldt/test/test_runner.py=utf-8
 encoding//src/ldt/ldt/text/migrations/0001_initial.py=utf-8
+encoding//src/ldt/ldt/user/migrations/0001_initial.py=utf-8
 encoding//virtualenv/web/env/guardianenv/Lib/site-packages/guardian/migrations/0001_initial.py=utf-8
 encoding/<project>=UTF-8