diff man/misc.texi @ 61902:e8076329ceee

(grep-mode-font-lock-keywords): Use the font-lock-face property to highlight matches.
author Lute Kamstra <lute@gnu.org>
date Thu, 28 Apr 2005 09:15:40 +0000
parents 661ef1edb844
children ee50af163f00 08185296b491
line wrap: on
line diff