diff configure @ 86486:133e736aa5c6

Comment.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Nov 2007 04:11:39 +0000
parents 2952f49ed8a7
children 07648bba8409
line wrap: on
line diff