diff configure @ 7933:ebe28de81548

sync, patch by Ioannis Panteleakis.
author diego
date Sun, 27 Oct 2002 10:43:38 +0000
parents 283093551036
children f483ab704252
line wrap: on
line diff