#280 Manage obsolete index entries

v1.5
open
None
1
2013-06-04
2013-06-04
Emmanuel Keller
No

Using the file crawler, index entries are never removed from indexes when they are obsolete (underlying document no longer exists).

Discussion