diff configure @ 97717:8b10135f8d6c

Comments.
author Glenn Morris <rgm@gnu.org>
date Tue, 26 Aug 2008 03:03:21 +0000
parents 92ac38fd997e
children dafd1efe2d45
line wrap: on
line diff