diff configure @ 35135:e6d8a27098f3

#
author André Spiegel <spiegel@gnu.org>
date Mon, 08 Jan 2001 16:32:12 +0000
parents d39dd1c5b93f
children eb8cfdc5cabf
line wrap: on
line diff