comparison man/ses.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 b1ae5333057a
children 3f04dc96bdc4 59dcbfe97385
comparison
equal deleted inserted replaced
59801:cd33f6f654f7 59802:67941974673e