diff configure @ 97885:a2d0bf07e881

Comment.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 22:36:59 +0000
parents dafd1efe2d45
children 29005e3eddab
line wrap: on
line diff