HartyBart opened this issue on Dec 05, 2020 ยท 23 posts
adp001 posted Tue, 08 December 2020 at 11:21 PM
(I give up with this damned editor - I'm simply not able to add \ where I need it. And the edit function removes it again and again)