diff configure.in @ 31837:49e95bff5053

#
author André Spiegel <spiegel@gnu.org>
date Fri, 22 Sep 2000 07:52:09 +0000
parents eb59d12540a8
children 46576e0d9de9
line wrap: on
line diff