diff configure @ 37142:e107572ba2dd

Undo last commit by John Wiegley.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 02 Apr 2001 11:56:36 +0000
parents d12b4a1326c1
children ee23b9f37f80
line wrap: on
line diff