diff make-dist @ 44476:142c588ec4ec

(BASE_PURESIZE): Reduce again to avoid big excess.
author Richard M. Stallman <rms@gnu.org>
date Wed, 10 Apr 2002 15:19:04 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff