diff man/search.texi @ 48631:37ddf84a7528

(whitespace-highlight-face): Fix face spec.
author Andreas Schwab <schwab@suse.de>
date Tue, 03 Dec 2002 00:10:40 +0000
parents 2eca4c95c2bf
children 632746dc04e4 d7ddb3e565de
line wrap: on
line diff