Wed, 04 Oct 2023 16:24:00 +0200 Edouard Tisserant Merge python3
Tue, 03 Oct 2023 21:33:13 +0200 Edouard Tisserant Tests: more OCR tuning
Mon, 02 Oct 2023 16:21:54 +0200 Edouard Tisserant Tests: better font for OCR in svghmi_basic
Mon, 02 Oct 2023 14:25:02 +0200 Edouard Tisserant Runtime: fix non-interleaved worker loop
Fri, 29 Sep 2023 13:46:36 +0200 Edouard Tisserant Win32 rutime: fix PLC Stop freezing
Fri, 29 Sep 2023 13:45:50 +0200 Edouard Tisserant Fix untested code in worker.py...