diff man/gnus.texi @ 80317:e540c42e9741

Doc fix.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 11 Mar 2008 01:57:57 +0000
parents e9007b1330de
children 59ae4e0a9cd4
line wrap: on
line diff