diff configure @ 14386:bb04d969d0df

small fixes
author diego
date Thu, 06 Jan 2005 10:19:29 +0000
parents dc7b86065e3c
children 62614fd2336a
line wrap: on
line diff