diff make-dist @ 3222:f37166b46007

Finish previous change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 28 May 1993 22:12:56 +0000
parents 3d245dcabb93
children 27b7aa2bcf21
line wrap: on
line diff