diff configure.in @ 40445:6651c925b89e

#
author André Spiegel <spiegel@gnu.org>
date Mon, 29 Oct 2001 12:28:12 +0000
parents fffc7f4c2cc7
children 693f01395e8e
line wrap: on
line diff