diff configure @ 88758:5026ded055e4

Replaced.
author Dave Love <fx@gnu.org>
date Wed, 12 Jun 2002 09:58:10 +0000
parents 5fcba75d6dd8
children 050eee3f784f
line wrap: on
line diff