diff configure @ 86430:4c73f7497804

Revert previous commit, made without ChangeLog entry.
author Glenn Morris <rgm@gnu.org>
date Sun, 25 Nov 2007 02:49:38 +0000
parents 2952f49ed8a7
children 07648bba8409
line wrap: on
line diff