diff configure @ 39952:17e0900cd156

Comment fix.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 15 Oct 2001 10:28:13 +0000
parents 246f0728f1d7
children 9b67c2187518
line wrap: on
line diff