tree 4085b30d0a442263898d40c2de3d2cfe0c67953d
parent b51dfcce729db8b056200e350660d150a688e469
author Marc Kupietz <kupietz@ids-mannheim.de> 1710069169 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1710168846 +0100

Implement --token-separator option

Change-Id: I938a864f832b94b690ccbcafbf4eb89436b75a24