diff etc/JOKES @ 38426:7c443908a552

(dired-insert-set-properties): Fix invalid mouse-face property.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 16 Jul 2001 10:50:31 +0000
parents e96ffe544684
children e6a15b4101f4
line wrap: on
line diff