. java/javavmwrapper now uses JAVALIBDIR rather than JAVAJARDIR, so modify
a comment to that effect.
Description
Description
Details
Details
- Provenance
glewis Authored on - Parents
- rP118047: . JAVALIBDIR is more appropriate than JAVAJARDIR now we have it.
- Branches
- Unknown
- Tags