Uwe Steinmann 0c888bc9d1 categories are and'ed not or'ed		2021-12-09 10:11:17 +01:00
..
IndexedDocument.php	set error msg if conversion fails	2021-11-26 14:31:13 +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