diff make-dist @ 72028:3bbfc3872cb9

(BASE_PURESIZE): Decrease to 1141000.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Thu, 20 Jul 2006 01:01:18 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff