diff configure @ 11428:77c2cfb74750

sync
author nicolas
date Mon, 10 Nov 2003 15:12:30 +0000
parents 77af55c1b661
children 6afc2d6f5a08
line wrap: on
line diff