.settings/org.eclipse.core.resources.prefs
changeset 63 6bfac7c633a0
parent 1 5f50937893ac
child 70 97e57904f11d
--- 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