Wed, 13 May 2020 18:47:09 +0200 Edouard Tisserant SVGHMI: explicit handling of undefined maximum widget update frequency svghmi
Wed, 13 May 2020 18:27:26 +0200 Edouard Tisserant SVGHMI: removed dead code svghmi
Wed, 13 May 2020 18:26:38 +0200 Edouard Tisserant SVGHMI: Back button updated to class style svghmi