diff make-dist @ 16365:63eb95eea4ef

(show_mouse_face): Undo 1996-08-30 change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 Sep 1996 01:29:41 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff