diff make-dist @ 10420:c8c4034ee573

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 13 Jan 1995 08:24:35 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff