tree 0c58abb54c0175e2027a79435bceba8b6fc959a5
parent 7e4cd6c854ac74ffb885907f172243c5ef8982a1
author Marc Kupietz <kupietz@ids-mannheim.de> 1671199230 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1671203490 +0100

Fix sigle-pattern option to take effect on the whole sigle

Resolves #4

Change-Id: I3514dead562acfccd6ee21c7d1f9e36af5e2fbba