diff configure @ 10369:b9fdaecc672f

better checks
author arpi
date Fri, 04 Jul 2003 20:43:32 +0000
parents 5455ac90c5d0
children eb1f8a10ce62
line wrap: on
line diff