Commit 62f99575 authored by Nils Weidmann's avatar Nils Weidmann
Browse files

Merge branch 'remove-getOpt-from-reportSummary' into 'master'

Remove getopt and use plain command line option

See merge request !156
parents 4eb4e57c 7a54d757
Pipeline #16459 passed with stages
in 4 minutes and 54 seconds