diff man/help.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 dfc7817ae834
children 0a8de3bc39b5 d7ddb3e565de
line wrap: on
line diff