diff man/basic.texi @ 57323:51f2d473391c

Add entry from Emilio Lopes <eclig@gmx.net>.
author Glenn Morris <rgm@gnu.org>
date Mon, 04 Oct 2004 23:34:39 +0000
parents 3649390c0f91
children 13368da050f1
line wrap: on
line diff