Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Point to GENERATE-USAGE instead of USAGE
USAGE is going to be deprecated. Also unplan to deprecate $*USAGE for now, although I still think we should have a better way.
- Loading branch information