Skip to content

Restore old CLI behaviour, while retaining global options added recently#84

Merged
srid merged 13 commits intomainfrom cli-partial-revertOct 21, 2024