diff configure @ 51165:7a7fd3859264

#
author André Spiegel <spiegel@gnu.org>
date Fri, 23 May 2003 17:58:46 +0000
parents deff9a0011bc
children 79ec3bcd1a81
line wrap: on
line diff