Tweaks to java.make.
authorMichael Zucchi <notzed@gmail.com>
Fri, 2 Aug 2019 05:20:46 +0000 (14:50 +0930)
committerMichael Zucchi <notzed@gmail.com>
Fri, 2 Aug 2019 05:20:46 +0000 (14:50 +0930)
commit99e7b844db8621946d54b999c77a33969b938a55
tree100238377b9e1f3743ab4684e202792625db471c
parenta2a9b07d9a881e39ded59c3661ae5216a090bf4f
Tweaks to java.make.
config.make
java.make