.settings/org.eclipse.core.resources.prefs
changeset 1117 3bab1e42acfa
parent 1081 2e086097cb5d
child 1134 e31dd7ea24bb
--- a/.settings/org.eclipse.core.resources.prefs	Sun Feb 10 23:04:28 2013 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Feb 27 00:07:54 2013 +0100
@@ -6,6 +6,7 @@
 encoding//src/ldt/ldt/indexation/models.py=utf-8
 encoding//src/ldt/ldt/indexation/query_parser.py=utf-8
 encoding//src/ldt/ldt/indexation/search_indexes.py=utf-8
+encoding//src/ldt/ldt/indexation/signals.py=utf-8
 encoding//src/ldt/ldt/indexation/tests.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/events.py=utf-8
 encoding//src/ldt/ldt/ldt_utils/migrations/0001_initial.py=utf-8