diff configure @ 42550:57677c00b0af

#
author André Spiegel <spiegel@gnu.org>
date Sat, 05 Jan 2002 17:28:54 +0000
parents b04a7400fcb8
children 5fcba75d6dd8
line wrap: on
line diff