--- a/.settings/org.eclipse.core.resources.prefs	Fri May 13 13:12:14 2016 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Thu May 19 12:58:05 2016 +0200
@@ -3,4 +3,5 @@
 encoding//server/src/metaeducation/migrations/0001_initial.py=utf-8
 encoding//server/src/metaeducation/migrations/0002_user_uai.py=utf-8
 encoding//server/src/metaeducation/migrations/0003_renkan_permissions.py=utf-8
+encoding//server/src/metaeducation/migrations/0004_auto_20160414_1057.py=utf-8
 encoding//server/src/metaeducation/settings/dev.py=utf-8