diff man/gnu.texi @ 33109:4f7feff5008f

Fix the @setfilename line.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 31 Oct 2000 18:48:19 +0000
parents ac7e9e5e2ccb
children df827c1def99
line wrap: on
line diff