diff man/commands.texi @ 41918:52fa3aece6f3

Tweak previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 09 Dec 2001 21:49:29 +0000
parents 41ebc22562e0
children ed33a54a268c
line wrap: on
line diff