comparison src/intervals.h @ 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 3bd95f4f2941
children e90d04cd455a b98066f4aa10 c5406394f567
comparison
equal deleted inserted replaced
75164:8c0d5c41d060 75165:220431f80579