.settings/org.eclipse.core.resources.prefs
changeset 1420 0637048db5d4
parent 1407 fc9654218d53
child 1431 bdefbdf222e7
--- a/.settings/org.eclipse.core.resources.prefs	Fri Aug 28 18:04:30 2015 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Sep 01 18:27:47 2015 +0200
@@ -1,5 +1,6 @@
 eclipse.preferences.version=1
 encoding//src/ldt/ldt/api/ldt/tests/tests_project.py=utf-8
+encoding//src/ldt/ldt/apps.py=utf-8
 encoding//src/ldt/ldt/indexation/backends/elasticsearch_backend.py=utf-8
 encoding//src/ldt/ldt/indexation/highlighter.py=utf-8
 encoding//src/ldt/ldt/indexation/models.py=utf-8