diff configure @ 10989:3185f64f6350

synced with current cvs
author alex
date Fri, 03 Oct 2003 22:23:26 +0000
parents ea4426db0db5
children 6e35326c742f
line wrap: on
line diff