diff configure @ 11552:db26f9ae122a

NOTE: now uniformly handled.
author diego
date Wed, 03 Dec 2003 02:59:22 +0000
parents f95e43b7d51d
children a6e12f49eaef
line wrap: on
line diff