diff make-dist @ 4527:3a3993b99ea8

Change revision number and comments.
author Richard M. Stallman <rms@gnu.org>
date Tue, 10 Aug 1993 04:19:12 +0000
parents 264d488d5bc7
children e19a64761187
line wrap: on
line diff