.settings/org.eclipse.core.resources.prefs
changeset 1431 bdefbdf222e7
parent 1420 0637048db5d4
--- 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