Mon, 03 May 2021 00:14:38 +0200SVGHMI: updating generated XSLT svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 03 May 2021 00:14:38 +0200] rev 3238
SVGHMI: updating generated XSLT