--- a/.settings/org.eclipse.core.resources.prefs Thu Apr 21 16:26:30 2016 +0200
+++ b/.settings/org.eclipse.core.resources.prefs Mon Apr 11 16:47:09 2016 +0200
@@ -1,3 +1,6 @@
eclipse.preferences.version=1
encoding//oauth/oauth.py=utf-8
+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/settings/dev.py=utf-8