Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Changed some quotations to fix an issue on Windows
Before this change, running this script resulted in a java usage error.
- Loading branch information