Thu, 09 Nov 2023 11:20:39 +0100 Edouard Tisserant Runtime web settings: allow customization of version string by extensions
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