diff python/randomize.py @ 879:79b52aec477e

function for java_home
author Jeff Hammel <k0scist@gmail.com>
date Fri, 24 May 2019 15:34:11 -0700
parents 12299cbc45ee
children 08da6a1bb4c9
line wrap: on
line diff