diff configure @ 16263:e68d2c0432e5

synced with 1.72
author jheryan
date Thu, 18 Aug 2005 12:05:41 +0000
parents 578e8b4c3e7f
children 7949a0c4e5ad
line wrap: on
line diff