diff configure @ 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 d30fc301d0d8
children 01e39f456dc6 6d92d69fae33
line wrap: on
line diff