diff configure @ 85275:345d8993f97d

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Sat, 13 Oct 2007 20:08:19 +0000
parents d5d7671ba1ea
children 104186d7ba4b
line wrap: on
line diff