comparison make-dist @ 9351:e3303c64b684

(make_hdr): Undo June 16 change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 06 Oct 1994 03:25:51 +0000
parents f7ae124181cd
children ab020bbb761f
comparison
equal deleted inserted replaced
9350:85b9cce28fd3 9351:e3303c64b684