Tweaks to java.make.
authorMichael Zucchi <notzed@gmail.com>
Fri, 2 Aug 2019 05:21:11 +0000 (14:51 +0930)
committerMichael Zucchi <notzed@gmail.com>
Fri, 2 Aug 2019 05:21:11 +0000 (14:51 +0930)
commitd30a2e973772cab5499d9e14a5797c5f3b3f74a9
tree72e8c2e5534df2498123f373149a178334f4bfbd
parent4c210bc69e3a0b886ae715f8db9c00f24d4bba9f
Tweaks to java.make.
java.make