diff configure.in @ 78398:cb21861af59b

Revert previous change, which was only supposed to be in trunk.
author Glenn Morris <rgm@gnu.org>
date Fri, 03 Aug 2007 03:19:07 +0000
parents 42f5a52dbf4b
children bb28292f5158 b98604865ea0
line wrap: on
line diff