diff configure @ 8480:ef20a6a7a98a

sync
author nicolas
date Mon, 16 Dec 2002 19:47:48 +0000
parents 59231cab01f7
children 2dd791127398
line wrap: on
line diff