diff man/killing.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 747b2c665140
children 3723093a21fd f042e7c0fe20
line wrap: on
line diff