diff configure @ 40445:6651c925b89e

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