diff configure @ 16027:b70838759d3c

10l, wrong URL
author diego
date Wed, 20 Jul 2005 10:35:58 +0000
parents 1307465ee8ff
children 7ad54e108ec5
line wrap: on
line diff