diff man/gnu.texi @ 52778:7558bb6529f9

Comment.
author Dave Love <fx@gnu.org>
date Mon, 06 Oct 2003 16:33:13 +0000
parents 695cf19ef79e
children 1782f42ba3e2 375f2633d815
line wrap: on
line diff