diff configure @ 8038:fe30880576dc

cleanup
author michael
date Sat, 02 Nov 2002 13:58:14 +0000
parents e6cadb79f668
children 9a9b48c469f6
line wrap: on
line diff