diff configure @ 9199:394e5ab1f8b1

sync
author nicolas
date Sat, 01 Feb 2003 14:44:29 +0000
parents 67474c57719e
children 7c12f4501ed6
line wrap: on
line diff