diff make-dist @ 20342:3739e4f90a55

Fixed duplicate KEYs in menu-bar-describe-menu.
author Simon Marshall <simon@gnu.org>
date Mon, 24 Nov 1997 20:16:20 +0000
parents 72b506b0fbcc
children 036dac77f78f
line wrap: on
line diff