Skip to content

Cleanup usage documentation and make options a little more consistent#2

Merged
borntyping merged 1 commit intomainfrom feature/docsMar 22, 2022