diff -r 52392ed6f74d -r bdefbdf222e7 .settings/org.eclipse.core.resources.prefs
--- a/.settings/org.eclipse.core.resources.prefs	Thu Sep 10 12:06:56 2015 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Sep 15 17:28:56 2015 +0200
@@ -20,5 +20,6 @@
 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//src/ldt/ldt/user/migrations/0002_resize_user_fields_add_external_id.py=utf-8
 encoding//virtualenv/web/env/guardianenv/Lib/site-packages/guardian/migrations/0001_initial.py=utf-8
 encoding/<project>=UTF-8