diff configure @ 75794:439a537f19e5

Revert previous change, since I'm not sure it is correct.
author Glenn Morris <rgm@gnu.org>
date Sun, 11 Feb 2007 04:08:01 +0000
parents 663d4896e994
children 75b3a340972a 07774e5c3ff5 52a7f3f50b89
line wrap: on
line diff