tree 85bfd473e9e7ef25fdd34025715692f06fd97224
parent e4a5eed8528b71bcf7922440d645c9911a84c39f
author margaretha <margaretha@ids-mannheim.de> 1715939850 +0200
committer margaretha <margaretha@ids-mannheim.de> 1716291507 +0200

Make match and context size configurable (address #128)

Change-Id: Ieef96dd68adf4e3ce00f59fc21face545c2ce897