9 Jul
2018
9 Jul
'18
9:35 p.m.
Hans Hagen mailto:j.hagen@xs4all.nl 9. Juli 2018 um 23:12
ok, another attempt ... see typo-dir file
It works for my small test file, Idris can check it with a real document. Thank you very much, Wolfgang