diff make-dist @ 6634:dc75f33163fb

(dired-insert-directory): Add mouse-face properties. (dired-insert-set-properties): New subroutine.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Apr 1994 18:51:39 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff