diff man/display.texi @ 47459:c48cad4dc557

(pong-border-options): Use color on tty if available. Reset color on tty to be [0.5 0.5 0.5].
author Francesco Potortì <pot@gnu.org>
date Fri, 13 Sep 2002 13:30:09 +0000
parents 695d2a421704
children 4128ae2ce141
line wrap: on
line diff