diff make-dist @ 40588:86c8a6492402

Minor menu indentation cleanup.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 Oct 2001 21:58:44 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff