diff configure @ 11939:11aeae4ca8ed

small additions, cosmetics
author diego
date Tue, 10 Feb 2004 01:59:17 +0000
parents 25248bff4a57
children 15fc081c071c
line wrap: on
line diff