diff doc/misc/gnus.texi @ 102371:0e907e93a720

Fix @setfilename.
author Glenn Morris <rgm@gnu.org>
date Tue, 03 Mar 2009 04:20:40 +0000
parents cbe2949923c1
children 384db4f6fc8a
line wrap: on
line diff