tree 87e8adadd6afc1c293730a4d5b9963925bb80045
parent 264e10fb3226f049f6c0a48e35bce8b6186bae84
author margaretha <margaretha@ids-mannheim.de> 1718267780 +0200
committer margaretha <margaretha@ids-mannheim.de> 1718362369 +0200

Make match expansion configurable (#150)

Change-Id: Ie4eb9098f6e7352918e1fd0d3bf74615d3508e7e