diff man/commands.texi @ 59802:67941974673e

(Easy Customization): Adapt menu to node name change.
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 30 Jan 2005 14:45:53 +0000
parents 72a78ee72ab9
children 95f4549c0b71 cb67264d6096
line wrap: on
line diff