Commit 6e43baa9 authored Dec 07, 2022 by vaclav

Merge branch '233-improve-robustness-of-command-line-parameters' into 'main'

Resolve "Improve robustness of command-line parameters"

See merge request !306