diff scripts/install.sh @ 1353:8d95711f6615

replace java() with require "java"
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 20 Mar 2019 17:03:29 -0600
parents fec01f044474
children 04482e2a6ca3
line wrap: on
line diff