tree c9ba9051cb2251d4336ec4555de54a1aff0ca913
parent b122717d9a9015ba486eb8503015cfefdb54f1e4
author Peter Harders <harders@ids-mannheim.de> 1595291864 +0200
committer Peter Harders <harders@ids-mannheim.de> 1595413343 +0200

parametrize internal tokenization

Change-Id: I19df6812cb39f5e48ae6aa5fd16951e18aef82a5