diff configure.in @ 101574:9ef994c968b4

Restore a clobbered change.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Jan 2009 18:19:36 +0000
parents 1cda0fcef248
children ad7e9d61234d
line wrap: on
line diff