.settings/org.eclipse.core.resources.prefs
changeset 1181 6ab716dd58f8
parent 1142 6c61660e51a2
child 1190 129d45eec68c
--- a/.settings/org.eclipse.core.resources.prefs	Sat May 11 23:09:05 2013 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Mon May 13 14:22:37 2013 +0200
@@ -1,4 +1,3 @@
-#Mon Apr 08 17:07:34 CEST 2013
 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
@@ -38,6 +37,7 @@
 encoding//src/ldt/ldt/ldt_utils/migrations/0026_set_relative_ldtproject.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/views/json.py=utf-8
 encoding//src/ldt/ldt/management/commands/synciri.py=utf-8
+encoding//src/ldt/ldt/management/commands/updateiriurlinprojects.py=utf-8
 encoding//src/ldt/ldt/management/utils.py=utf-8
 encoding//src/ldt/ldt/test/test_runner.py=utf-8
 encoding//src/ldt/ldt/text/migrations/0001_initial.py=utf-8