.settings/org.eclipse.core.resources.prefs
changeset 1383 eb55bae28748
parent 1373 c9ed2ae1a902
child 1407 fc9654218d53
--- 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