diff configure @ 106944:5743e6bbd1dd

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Thu, 21 Jan 2010 08:59:11 +0000
parents 8f9c3a09d55a
children d189e0755f30
line wrap: on
line diff