comparison .fluxbox/menu @ 874:ee3bcd644727

remove obsolete elements
author Jeff Hammel <k0scist@gmail.com>
date Tue, 07 May 2019 13:22:43 -0700
parents 6c685e06b6c5
children
comparison
equal deleted inserted replaced
873:9f85111f3dee 874:ee3bcd644727