tree 1f845a8ae6d8d57f714e918c64f81a8226db8da0
parent 1eba437d419661d1a2fb082f17456906eb65ab6d
author Marc Kupietz <kupietz@ids-mannheim.de> 1745576395 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1745576395 +0200

Update Krill-Indexer with added krill.index.textSize.max option