diff configure @ 75486:b477debfe297

Revert previous change while we figure out if it was correct.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Jan 2007 21:40:03 +0000
parents 5de7c894e29a
children 9257f75df537 b8d9a391daf3
line wrap: on
line diff