diff configure @ 10088:b84fb7055a7b

sync
author nicolas
date Sat, 10 May 2003 12:08:37 +0000
parents dcd4114554ad
children 51da0282b302
line wrap: on
line diff