diff make-dist @ 5824:afd275dcec54

Finish previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Feb 1994 08:25:51 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff