Re: docs/gpcard.tex

[Petr M. <mi...@ph...>]

> 'x11' sets the TERM_INIT_ON_REPLOT flag, 'X11' doesn't.
>
> I see little reason to keep the terminal driver X11 itself at all.

Yes, as it is undocumented, hardly anybody can use it.

--
PM