diff make-dist @ 18263:5e9d099a4751

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 Jun 1997 19:43:01 +0000
parents 0696d4c9aa15
children 6f263a83b071
line wrap: on
line diff