comparison make-dist @ 9599:3fdda4389923

Minor update to last change.
author Richard Kenner <kenner@gnu.org>
date Tue, 18 Oct 1994 23:29:31 +0000
parents 35cdd4523abf
children ee0d90e7720d
comparison
equal deleted inserted replaced
9598:fa57d5ed7df8 9599:3fdda4389923