diff man/commands.texi @ 75557:21cbf755a07c

(tutorial--detailed-help): Make the list of changed keys look nicer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 30 Jan 2007 23:47:57 +0000
parents 4ad431d8e164
children 02b9a9aa5b0c 95d0cdf160ea
line wrap: on
line diff