diff configure @ 81319:ffa10b05dd42

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Jun 2007 08:14:28 +0000
parents 0bb4d3dc37d5
children fbb350524e7a
line wrap: on
line diff