.settings/org.eclipse.core.resources.prefs
author verrierj
Fri, 30 Sep 2011 12:19:21 +0200
changeset 191 43509690a898
parent 188 74bad93d3cb7
child 299 9ce9e92af978
permissions -rw-r--r--
Merge with 08e6b5dbfc933ea06390df55f948cf05b6d02584

#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