diff man/commands.texi @ 40584:252c24214c9f

Remove the menu items for nodes that were moved to xresource.texi.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 Oct 2001 21:50:05 +0000
parents 41ebc22562e0
children ed33a54a268c
line wrap: on
line diff