diff make-dist @ 27507:b7db0c0368dc

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jan 2000 23:53:44 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff