diff .fluxbox/menu @ 879:79b52aec477e

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