Wed, 04 Mar 2020 16:46:35 +0100 Edouard Tisserant SVGHMI: more whitespace fixes svghmi
Wed, 04 Mar 2020 16:46:03 +0100 Edouard Tisserant SVGHMI: unlink clones (i.e. deep copy elements refered by svg:use) inside widget. svghmi
Wed, 04 Mar 2020 09:31:53 +0100 Edouard Tisserant SVGHMI: whitespaces and comments svghmi