diff man/basic.texi @ 72718:240ffd11cdc0

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Sep 2006 11:59:00 +0000
parents f142d3f60937
children 3d45362f1d38 c358d0861b16
line wrap: on
line diff