diff make-dist @ 13087:226c90611902

Fix minor error.
author Richard M. Stallman <rms@gnu.org>
date Mon, 25 Sep 1995 23:22:40 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff