diff configure.in @ 112326:63e39d23b102

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Thu, 13 Jan 2011 21:07:26 -0800
parents 2b598aa5d397
children 17e0028efc29
line wrap: on
line diff