diff man/gnus.texi @ 62813:f2a72c23fa03

(texinfo-heading-face): Specify customization group.
author Lute Kamstra <lute@gnu.org>
date Fri, 27 May 2005 13:07:49 +0000
parents ad05d91d3598
children c8b57e4594b8 146c086df160
line wrap: on
line diff