Wed, 13 May 2020 18:47:09 +0200SVGHMI: explicit handling of undefined maximum widget update frequency svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 18:47:09 +0200] rev 2960
SVGHMI: explicit handling of undefined maximum widget update frequency

Wed, 13 May 2020 18:27:26 +0200SVGHMI: removed dead code svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 18:27:26 +0200] rev 2959
SVGHMI: removed dead code

Wed, 13 May 2020 18:26:38 +0200SVGHMI: Back button updated to class style svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 18:26:38 +0200] rev 2958
SVGHMI: Back button updated to class style

Mon, 11 May 2020 11:33:00 +0200merge svghmi
Edouard Tisserant [Mon, 11 May 2020 11:33:00 +0200] rev 2957
merge