tree c7536dc9137d2a9914c5913e244d5c66475b759c
parent 89cb6bc0ca2cbed8209da15d8bb8ce36aefc84c4
author Marc Kupietz <kupietz@ids-mannheim.de> 1658244987 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1658244987 +0200

Revive -d option to dump vecs as ascii file

Change-Id: Ib78b6ad00af74aaf410544f8c872ac6cf67e90e8