diff configure @ 15917:f5b1537e887f

synced with 1.73
author gabrov
date Mon, 04 Jul 2005 14:32:13 +0000
parents 1a3efcc32e85
children 6e35f80386e8
line wrap: on
line diff