Thu, 14 May 2020 09:24:09 +0200merge svghmi
Edouard Tisserant [Thu, 14 May 2020 09:24:09 +0200] rev 2966
merge

Wed, 13 May 2020 14:48:52 +0200SVGHMI: Makes error when HMI tree is not well formed. Prevents multiple and non-first HMI_NODE, and ensure that all paths in HMI tree are unique. svghmi
Edouard Tisserant [Wed, 13 May 2020 14:48:52 +0200] rev 2965
SVGHMI: Makes error when HMI tree is not well formed. Prevents multiple and non-first HMI_NODE, and ensure that all paths in HMI tree are unique.