comparison configure.in @ 112437:f3d875901372

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 22 Jan 2011 20:30:57 -0800
parents 7aa0a7abfb6d
children 16ddab338c43
comparison
equal deleted inserted replaced
112434:9de5a68b57e1 112437:f3d875901372