diff configure @ 38725:9a539a654722

Comment fix.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 07 Aug 2001 14:43:48 +0000
parents d12b4a1326c1
children ee23b9f37f80
line wrap: on
line diff