diff make-dist @ 32404:d355f52b4497

(header-line): Change tty-variant to use underlining.
author Miles Bader <miles@gnu.org>
date Thu, 12 Oct 2000 07:51:58 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff