diff etc/MACHINES @ 32645:541dabe224ec

(Info-title-{1,2,3}-face): Change tty colors as suggested by Miles Bader.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 19 Oct 2000 06:59:00 +0000
parents ba48db63fa14
children 8de4d56acf6e
line wrap: on
line diff