diff COPYING @ 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 6aa0743375c1
children ab447da32127
line wrap: on
line diff