diff configure.in @ 56319:18b35062b4ab

#
author André Spiegel <spiegel@gnu.org>
date Fri, 02 Jul 2004 07:32:44 +0000
parents 936d4c6b2def
children 6e40bed9e91e 4c90ffeb71c5
line wrap: on
line diff