comparison etc/ps-prin2.ps @ 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 cdd489417ae4
children b5a4db21c424
comparison
equal deleted inserted replaced
32644:7e334ab6c0a5 32645:541dabe224ec