diff configure @ 8058:9246adcf95f0

cosmetic
author pontscho
date Sat, 02 Nov 2002 20:10:18 +0000
parents c34100c609ee
children b3b2951cbc1c
line wrap: on
line diff