Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Assume that /usr/local when --prefix option is not specified
GitHub: #3 Reported by tliron. Thanks!!!
- Loading branch information