diff config.guess @ 52935:aadc87ded24c

(widget-default-delete): Always delete child widgets. (From Per Abrahamsen.)
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 26 Oct 2003 00:57:12 +0000
parents 4977d34e1341
children c53a9463c31a d7ddb3e565de
line wrap: on
line diff