diff configure @ 20185:b6eed21e0535

slight overall verbosity reduction
author diego
date Thu, 12 Oct 2006 22:24:19 +0000
parents 5789c723d8df
children 04ae7a7d0da3
line wrap: on
line diff