Mon, 20 Nov 2023 11:51:34 +0100 | Edouard Tisserant | Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering. | changeset | files |
Thu, 09 Nov 2023 11:20:39 +0100 | Edouard Tisserant | Runtime web settings: allow customization of version string by extensions | changeset | files |
Wed, 04 Oct 2023 16:24:00 +0200 | Edouard Tisserant | Merge | changeset | files |
Tue, 03 Oct 2023 21:33:13 +0200 | Edouard Tisserant | Tests: more OCR tuning | changeset | files |
Mon, 02 Oct 2023 16:21:54 +0200 | Edouard Tisserant | Tests: better font for OCR in svghmi_basic | changeset | files |
Mon, 02 Oct 2023 14:25:02 +0200 | Edouard Tisserant | Runtime: fix non-interleaved worker loop | changeset | files |
Fri, 29 Sep 2023 13:46:36 +0200 | Edouard Tisserant | Win32 rutime: fix PLC Stop freezing | changeset | files |
Fri, 29 Sep 2023 13:45:50 +0200 | Edouard Tisserant | Fix untested code in worker.py... | changeset | files |