diff make-dist @ 19418:142900099257

Customized.
author Richard M. Stallman <rms@gnu.org>
date Mon, 18 Aug 1997 20:01:25 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff