.settings/org.eclipse.core.resources.prefs
author durandn
Thu, 10 Mar 2016 13:32:18 +0100
changeset 15 8004d8fc9b38
parent 1 5f50937893ac
child 63 6bfac7c633a0
permissions -rw-r--r--
Corrected settings to support deployment in a subdirectory + protected front_list and front_delete so only staff users can access it + added version display in front_list

eclipse.preferences.version=1
encoding//oauth/oauth.py=utf-8
encoding//server/src/metaeducation/settings/dev.py=utf-8