tree de692431515f0e0f11a42d9e9077ebb70b7e9ee4
parent ab0865a93c4b4f8b2638438ac784dc132fbfb65a
parent 9c6493ed3569fc5288f895bcdd12e3faab642f80
author margaretha <margaretha@ids-mannheim.de> 1643370567 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1643370567 +0100

Merge "Added show-tokens option to the search API."