.settings/org.eclipse.core.resources.prefs
author verrierj
Wed, 21 Dec 2011 11:07:49 +0100
changeset 293 4fd110c8fa26
parent 188 74bad93d3cb7
child 299 9ce9e92af978
permissions -rw-r--r--
Projects and contents can be shared or not during edition and creation

#Thu Aug 25 11:38:23 CEST 2011
eclipse.preferences.version=1
encoding//src/ldt/ldt/core/migrations/0001_initial.py=utf-8
encoding//src/ldt/ldt/core/migrations/0002_auto__del_owner.py=utf-8
encoding//src/ldt/ldt/ldt_utils/migrations/0001_initial.py=utf-8
encoding//src/ldt/ldt/ldt_utils/migrations/0002_auto__add_field_media_mimetype_field__chg_field_media_external_src_url.py=utf-8
encoding//src/ldt/ldt/ldt_utils/migrations/0003_auto__chg_field_project_owner.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//src/ldt/ldt/user/migrations/0002_auto__del_irigroup.py=utf-8