diff make-dist @ 19900:fa397fb1d859

Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 13 Sep 1997 04:28:20 +0000
parents 53fa6bca2c89
children 07e5f3623def
line wrap: on
line diff