diff man/basic.texi @ 44866:582f083ed579

General tidy-up of commentary and some doc strings.
author Glenn Morris <rgm@gnu.org>
date Thu, 25 Apr 2002 21:55:39 +0000
parents b4bc3c095326
children cc99f1248f49
line wrap: on
line diff