Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
do not output options as part of the usage output
This is an unnecessary maintenance burden and the manual should be favored instead.
- Loading branch information