diff man/mini.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 32f868f94f5a
children 3723093a21fd 187d6a1f84f7
line wrap: on
line diff