Discussion:
mono space fonts in google groups
(too old to reply)
NN
2023-04-10 09:40:48 UTC
Permalink
I came across this tip recently which I found to be really useful.

Rather than copying and pasting, heres the link, so you can follow the discussion too.

https://groups.google.com/g/comp.lang.forth/c/qW5U1xmla_0/m/xSI3W02dBQAJ
Ion Saliu
2023-04-10 14:22:26 UTC
Permalink
Post by NN
I came across this tip recently which I found to be really useful.
Rather than copying and pasting, heres the link, so you can follow the discussion too.
https://groups.google.com/g/comp.lang.forth/c/qW5U1xmla_0/m/xSI3W02dBQAJ
Great find, axiomaticule! Thanks!

I made it easy for (just about) everybody to add this useful formatting feature to Google Groups. All information is in one place (thread) –
• https://groups.google.com/g/rec.gambling.lottery/c/xj1oUsXz5oo?hl=en
• Usenet Redivivus! Best Post Viewing in Monospace Font

Loading...