diff man/regs.texi @ 32770:9c198c1dc72f

Update from version 5.1 of the Gnus repository. Update copyright and change @setfilename.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 23 Oct 2000 13:16:28 +0000
parents ac7e9e5e2ccb
children 6cd5aaf1a361
line wrap: on
line diff