diff etc/SERVICE @ 80498:8df650d0126a

(BASE_PURESIZE): Increase to 1140000.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Fri, 11 Apr 2008 10:23:49 +0000
parents 5a8fd913621c
children e6fdae9180d4 ef719132ddfa
line wrap: on
line diff