diff man/gnus.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 ad05d91d3598
children c8b57e4594b8 146c086df160
line wrap: on
line diff