diff make-dist @ 16209:40552cb9a45d

(note_mouse_highlight): Test last_overlay_modified field.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Sep 1996 06:31:10 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff