diff configure @ 11218:15a42a6fbbd7

sync
author alex
date Wed, 22 Oct 2003 14:29:17 +0000
parents 836f909be1e3
children 8eb5c1a0d21c
line wrap: on
line diff