diff etc/HELLO @ 35272:b179c9139145

(clear_mouse_face=): Improve a comment.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 12 Jan 2001 14:16:15 +0000
parents 183f7913ab90
children af4b46d3b81f
line wrap: on
line diff