tree 7c2af98d4387345e847d662fea61a59b072a9c29
parent 190d02213a60059aa1f5641c86fd89c5265abd00
author Peter Harders <harders@ids-mannheim.de> 1595292206 +0200
committer Peter Harders <harders@ids-mannheim.de> 1595864599 +0200

allow to specify both tokenizations (extern and intern)

Change-Id: I2e3ff83e5122f803c5e4a18a0c1b89b93269d444