diff configure @ 41558:a25a0ea2f10a

#
author André Spiegel <spiegel@gnu.org>
date Mon, 26 Nov 2001 16:10:26 +0000
parents 33fd5b0cc93e
children 30f353761d6c
line wrap: on
line diff