Uwe Steinmann a81f51c17c add new field 'indexed'		2022-12-15 12:35:02 +01:00
..
IndexedDocument.php	add new field 'indexed'	2022-12-15 12:35:02 +01:00
Indexer.php	throw execption if creation/opening of index fails	2020-09-29 16:42:09 +02:00
Search.php	categories are and'ed not or'ed	2021-12-09 10:11:17 +01:00