diff configure @ 112337:256406bc04fe

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Mon, 17 Jan 2011 14:09:25 -0800
parents 56d3e9c28eb0
children 19348bd13f81
line wrap: on
line diff