comparison make-dist @ 3412:7d9b10bea55f

(mouse-menu-bar-buffers): Renamed from mouse-buffer-menu.
author Richard M. Stallman <rms@gnu.org>
date Tue, 01 Jun 1993 20:54:21 +0000
parents 8e39495c5be4
children 3f87ded07a67
comparison
equal deleted inserted replaced
3411:d91b3097bb76 3412:7d9b10bea55f