diff configure.in @ 96726:5dd173fcd4cd

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Wed, 16 Jul 2008 07:45:41 +0000
parents b9cd22789f50
children 79339db0a32f
line wrap: on
line diff