diff configure @ 86881:12cfa6eff669

Revert previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 30 Nov 2007 18:22:23 +0000
parents 07648bba8409
children 3adb90e40145
line wrap: on
line diff