comparison make-dist @ 8367:31ceccb9982d

(Frandom): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 28 Jul 1994 12:46:16 +0000
parents cdd772d2e59f
children f7ae124181cd
comparison
equal deleted inserted replaced
8366:3be9c6b57956 8367:31ceccb9982d