diff make-dist @ 9453:67b759a9096d

menu-bar-lines fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 11 Oct 1994 20:17:52 +0000
parents ab020bbb761f
children 014e2214b8cb
line wrap: on
line diff