diff etc/CENSORSHIP @ 58990:a009e1bf75be

(info-lookup-highlight-face): Change default from `highlight' to `match'.
author Juri Linkov <juri@jurta.org>
date Thu, 16 Dec 2004 07:17:13 +0000
parents 01772baf50a3
children 632018b817e3
line wrap: on
line diff