diff man/mark.texi @ 32563:90d5ec551e5d

(Info-title-1-face, Info-title-2-face, Info-title-3-face): Define colors for tty's.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 17 Oct 2000 06:52:28 +0000
parents 4aeb7434af3c
children d97455a119bb
line wrap: on
line diff