diff man/basic.texi @ 37717:e1931e0f4ed1

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 May 2001 12:46:39 +0000
parents c9bd237ce092
children 553346e3d511
line wrap: on
line diff