diff man/help.texi @ 64503:791fa2059b5e

(match): Use slightly more light RoyalBlue3 instead of dark RoyalBlue4.
author Juri Linkov <juri@jurta.org>
date Tue, 19 Jul 2005 11:41:20 +0000
parents 1978175440c1
children 3723093a21fd 4da4a09e8b1b
line wrap: on
line diff