Ruud H.G. van Tol on Tue, 16 Jul 2024 11:16:02 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
help in terminal instead of dvi viewer |
On 2024-07-16 10:58, hermann@stamm-wilbrandt.de wrote:
How can I get "??gcd" help in terminal instead of dvi viewer?
Thanks for asking. Same issue recently started here. -- Ruud