diff FTP @ 75165:220431f80579

(Info-fontify-node): Don't hide node names of index entries.
author Juri Linkov <juri@jurta.org>
date Tue, 09 Jan 2007 21:18:56 +0000
parents 6cd56cde7cd4
children 5e1b6a63ac46
line wrap: on
line diff