comparison man/gnu.texi @ 58987:b24e485e88f7

(match): New face. (list-matching-lines-face): Change default from `bold' to `match'.
author Juri Linkov <juri@jurta.org>
date Thu, 16 Dec 2004 07:16:17 +0000
parents 695cf19ef79e
children 1782f42ba3e2 375f2633d815
comparison
equal deleted inserted replaced
58986:59945307b86b 58987:b24e485e88f7