#280 Manage obsolete index entries

v1.5
open
None
1
2014-08-21
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