tree 63faff3647c2d2cef1a98e92016f8b894ee57e77
parent 4587311a517e80e8a73b22b8eefcedbf004de204
author David Ostrovsky <david@ostrovsky.org> 1571041661 +0200
committer David Ostrovsky <david@ostrovsky.org> 1571041671 +0200

README: Document how to update java_tools to a custom version