diff make-dist @ 29051:c45f6793d6ab

Doc and error message fixes. (replace-highlight): Use facep, not internal-find-face.
author Dave Love <fx@gnu.org>
date Sun, 21 May 2000 17:04:47 +0000
parents 9eb6792eefac
children 43f15cfb67a0
line wrap: on
line diff