comparison make-dist @ 52255:eb8d63124c39

(BASE_PURESIZE): Increase to 1100000.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 19 Aug 2003 12:42:32 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
52254:0de8f6270b30 52255:eb8d63124c39