diff python/dmenu.py @ 879:79b52aec477e

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