comparison man/anti.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 920d5b4fe0a2
children 2ec10c700160 4c90ffeb71c5
comparison
equal deleted inserted replaced
59801:cd33f6f654f7 59802:67941974673e