diff man/woman.texi @ 64944:c845f6151d83

(grep-mode-map): Add ellipsis to "Another grep". (grep-mode-font-lock-keywords): Don't highlight "Grep started". Add highlighting of "interrupt", "killed", "terminated".
author Juri Linkov <juri@jurta.org>
date Sun, 14 Aug 2005 06:52:40 +0000
parents 3723093a21fd
children 69b3598a61c5 532e0a9335a9 2d92f5c9d6ae
line wrap: on
line diff