diff make-dist @ 30164:169802a49fb5

Menu help strings now used.
author Dave Love <fx@gnu.org>
date Wed, 12 Jul 2000 15:19:03 +0000
parents 349704f6532f
children 28cc44c6c08c
line wrap: on
line diff