diff man/mule.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 30ce20575d8b
children e36c39f0af51 4da4a09e8b1b
line wrap: on
line diff