tree 5fe1f0460f251c5416019eb4e985f7880c990f9d
parent 7a25f0197a385cdfb29f09d5e883af362c5d69c4
parent 6cc1c67004e257a6541f1c553daf3f4059df3c6b
author margaretha <margaretha@ids-mannheim.de> 1522921188 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1522921188 +0200

Merge "Support highlights in matchinfo"