Hans Hagen <mailto:[email protected]> 9. Juli 2018 um 23:12ok, 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
_______________________________________________ dev-context mailing list [email protected] https://mailman.ntg.nl/mailman/listinfo/dev-context
