Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
options.py: make --usage just print the usage message.
This is a relatively common option in other programs, so let's make it work in case someone tries to use it. Signed-off-by: Avery Pennarun <apenwarr@gmail.com>
- Loading branch information