diff configure @ 76221:3cceb2f916b0

Revert previous change, since not sure it was correct.
author Glenn Morris <rgm@gnu.org>
date Wed, 28 Feb 2007 04:25:21 +0000
parents 75b3a340972a
children e891b9362f50 edf631bdbb7a dd7c098af727
line wrap: on
line diff