comparison man/gnus-faq.texi @ 39746:67386e5484d6

(Info-insert-dir): Don't call `Info-fontify-menu-headers'. (Info-fontify-node): Don't fontify the node if it's already been done.
author Miles Bader <miles@gnu.org>
date Wed, 10 Oct 2001 14:37:17 +0000
parents fa8e496e2af1
children 08b94ecd1d08
comparison
equal deleted inserted replaced
39745:d55d18a2c64b 39746:67386e5484d6