diff make-dist @ 12522:75d5cd591947

Fix minor error.
author Richard M. Stallman <rms@gnu.org>
date Mon, 17 Jul 1995 18:56:17 +0000
parents 543e6df4f753
children 1d30a1c68e44
line wrap: on
line diff