diff man/glossary.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 a1e88846ab9a
children 0e25d6f7c121
line wrap: on
line diff