diff configure @ 38435:a9102b5472f0

Comment fix.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 16 Jul 2001 12:22:17 +0000
parents d12b4a1326c1
children ee23b9f37f80
line wrap: on
line diff