diff configure @ 8043:e5dda05f9aab

cleanup
author pontscho
date Sat, 02 Nov 2002 16:09:05 +0000
parents e6cadb79f668
children 9a9b48c469f6
line wrap: on
line diff