diff configure @ 108414:1f72eef0d33f

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Thu, 11 Feb 2010 10:21:09 +0000
parents 905212a81527
children 41fb4e1dc977
line wrap: on
line diff