comparison 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
comparison
equal deleted inserted replaced
6633:451a2973d86b 6634:dc75f33163fb