diff configure @ 13288:78d00bbba153

CVS policy updated as discussed on dev-eng.
author diego
date Wed, 08 Sep 2004 15:31:47 +0000
parents 99b14d9c50d5
children 2bfd09c32fba
line wrap: on
line diff