diff configure @ 11949:86da102d74d8

slight wording improvement, noticed by Dominik
author diego
date Tue, 10 Feb 2004 20:52:08 +0000
parents 25248bff4a57
children 15fc081c071c
line wrap: on
line diff