diff man/basic.texi @ 41413:df473d700a16

Add header comment.
author Colin Walters <walters@gnu.org>
date Sat, 24 Nov 2001 01:44:15 +0000
parents 3b40423b9355
children c66f34e7d2cd
line wrap: on
line diff