Sun, 10 May 2020 17:01:09 +0200 Edouard Tisserant SVGHMI: clean up dead code, update generated xslt. svghmi
Sun, 10 May 2020 16:36:41 +0200 Edouard Tisserant SVGHMI: apply per class overloading of sub/unsub to Jump widget svghmi
Sun, 10 May 2020 16:36:09 +0200 Edouard Tisserant SVGHMI: apply per class overloading of sub/unsub to ForEach widget svghmi