diff configure.in @ 82751:d15a13222c55

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Wed, 22 Aug 2007 08:22:58 +0000
parents e0dc64260fb5
children 18556eea77d8
line wrap: on
line diff