diff make-dist @ 4700:1d8de7410270

(font-lock-fontify-region): Put on `font-lock' property as well as `face' property. (font-lock-hack-keywords): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Sep 1993 15:13:31 +0000
parents e19a64761187
children 8a2da7726921
line wrap: on
line diff