.settings/org.eclipse.core.resources.prefs
changeset 720 b93c99226832
parent 719 1c0ac4068bbe
parent 713 202fb1255d8b
child 725 4f4005df9a97
--- a/.settings/org.eclipse.core.resources.prefs	Tue Jul 31 02:27:09 2012 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Jul 31 12:13:53 2012 +0200
@@ -1,3 +1,4 @@
+#Fri Jul 27 18:53:06 CEST 2012
 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
@@ -15,6 +16,7 @@
 encoding//src/ldt/ldt/ldt_utils/migrations/0011_gen_stat_annotation.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0015_auto__add_contentstat__del_field_content_last_annotated__del_field_con.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0017_correct_image_path.py=utf-8
+encoding//src/ldt/ldt/ldt_utils/views/json.py=utf-8
 encoding//src/ldt/ldt/management/utils.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