diff configure @ 8680:d9518fe8900a

sync
author nicolas
date Tue, 31 Dec 2002 16:14:22 +0000
parents 30bb40f02e1e
children 9032b2e79480
line wrap: on
line diff