diff configure.in @ 32138:8a30e7f82c80

Fix prev change.
author André Spiegel <spiegel@gnu.org>
date Wed, 04 Oct 2000 17:16:59 +0000
parents 6bb874e9ee96
children 4a8304668f5c
line wrap: on
line diff