diff make-dist @ 25545:b0a117037bde

(header-line): Renamed from `top-line'.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 05 Sep 1999 16:38:56 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff