diff configure @ 9541:aa135f870d08

sync
author nicolas
date Thu, 06 Mar 2003 13:29:11 +0000
parents aa0dd1f998d9
children 8feb4bb5b334
line wrap: on
line diff