tree 061350f3146e38645739237e316121fbab63b3cf
parent 8cec8bb6811ad446060b8c60992eda7dcd77831b
author margaretha <margaretha@ids-mannheim.de> 1643108069 +0100
committer margaretha <margaretha@ids-mannheim.de> 1643108069 +0100

Added show-tokens option to the search API.

Change-Id: I16c71bccdd5b21e1475edde22b656be24c11287f