Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the help text of some existing CMake build options
Probably doesn't matter since few people (if any) would ever read these, but it is easily fixed.
- Loading branch information