diff configure @ 32071:ca13d829a919

#
author André Spiegel <spiegel@gnu.org>
date Mon, 02 Oct 2000 12:06:13 +0000
parents 259c9935f2db
children 9492a4c33e92
line wrap: on
line diff