diff make-dist @ 19687:c510bee23510

Updated by Boris.
author Richard M. Stallman <rms@gnu.org>
date Tue, 02 Sep 1997 20:00:28 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff