diff make-dist @ 18689:d11c2164a6af

(mouse-undouble-last-event): Fix gross bugs: use modifiers, not old-modifiers.
author Richard M. Stallman <rms@gnu.org>
date Wed, 09 Jul 1997 02:47:07 +0000
parents c5f070514f07
children 678528c8dd4f
line wrap: on
line diff