diff man/ada-mode.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 82d113655734
children 0a70200bde27
line wrap: on
line diff