diff man/commands.texi @ 26400:53eeb3b7c785

Patch from rms.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 10 Nov 1999 22:01:35 +0000
parents ac7e9e5e2ccb
children 8cda50572ee2
line wrap: on
line diff