Fri, 16 Dec 2022 13:43:38 +0100py_ext: add CSV file reading POUs in python extension library
Edouard Tisserant [Fri, 16 Dec 2022 13:43:38 +0100] rev 3707
py_ext: add CSV file reading POUs in python extension library

Fri, 16 Dec 2022 13:41:03 +0100SVGHMI: fix input widget sometime messing with font style
Edouard Tisserant [Fri, 16 Dec 2022 13:41:03 +0100] rev 3706
SVGHMI: fix input widget sometime messing with font style