diff man/woman.texi @ 64926:37347aa3aaae

(compilation-start): Add the line "Compilation started" with compilation start time. (compilation-mode-font-lock-keywords): Add `started' to keywords.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 12 Aug 2005 10:17:17 +0000
parents 3723093a21fd
children 69b3598a61c5 532e0a9335a9 2d92f5c9d6ae
line wrap: on
line diff