diff configure @ 35840:76aa6a25b931

#
author André Spiegel <spiegel@gnu.org>
date Fri, 02 Feb 2001 07:25:49 +0000
parents b85d466802a5
children 4a730977cad1
line wrap: on
line diff