--- a/.settings/org.eclipse.core.resources.prefs	Mon Jul 30 19:46:40 2012 +0200
+++ b/.settings/org.eclipse.core.resources.prefs	Tue Jul 31 02:27:09 2012 +0200
@@ -1,6 +1,7 @@
 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/indexation/backends/elasticsearch_backend.py=utf-8
 encoding//src/ldt/ldt/indexation/highlighter.py=utf-8
 encoding//src/ldt/ldt/indexation/search_indexes.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0001_initial.py=utf-8