diff -r 3880aba1b2b1 -r 0637048db5d4 .settings/org.eclipse.core.resources.prefs --- 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