docs/gpcard.tex

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

... still contains these two lines:

\key{X11 default display device}                {set term x11}
\key{X11 multicolor point default device}       {set term X11}

Does somebody know what the 2nd line means? There is no difference nowadays
I guess. Should I remove it ... or write this instead:

\key{X11 display terminal}                {set term x11}


--
PM