comparison make-dist @ 80498:8df650d0126a

(BASE_PURESIZE): Increase to 1140000.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Fri, 11 Apr 2008 10:23:49 +0000
parents 6c914e475446
children ff108ff68535 fa454b3c5b7b
comparison
equal deleted inserted replaced
80497:c6bdc935d2d0 80498:8df650d0126a