diff configure @ 78737:5ec8fe8efb1e

Improve wording of previous change.
author Glenn Morris <rgm@gnu.org>
date Wed, 05 Sep 2007 03:21:57 +0000
parents 1c6c7a9e1ef9
children 94efc47b8b8b
line wrap: on
line diff