Thu, 18 Jun 2020 11:00:26 +0200Merge default changes in SVGHMI svghmi
Edouard Tisserant [Thu, 18 Jun 2020 11:00:26 +0200] rev 2982
Merge default changes in SVGHMI

Thu, 18 Jun 2020 10:42:08 +0200Merge default changes in SVGHMI svghmi
Edouard Tisserant [Thu, 18 Jun 2020 10:42:08 +0200] rev 2981
Merge default changes in SVGHMI