diff configure @ 41708:8439236b7552

#
author André Spiegel <spiegel@gnu.org>
date Fri, 30 Nov 2001 13:49:28 +0000
parents 30f353761d6c
children 665e7cb4204b
line wrap: on
line diff