comparison configure @ 110064:07b5be82cf7a

Bump custom version of some user options of which the default values changed.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Tue, 31 Aug 2010 04:21:18 +0000
parents 16358be4a799
children fd8902911ce3
comparison
equal deleted inserted replaced
110063:588307a027eb 110064:07b5be82cf7a