Skip to content

Add version flag to print version and exit#394

Merged
pietern merged 2 commits intomainfrom
version-flag
May 22, 2023
Merged

Add version flag to print version and exit#394
pietern merged 2 commits intomainfrom
version-flag

Commits

Commits on May 22, 2023