diff configure.in @ 85435:26b4dfd428bb

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Fri, 19 Oct 2007 02:14:58 +0000
parents 932dac013321
children 63b4228fc06a 1251cabc40b7
line wrap: on
line diff