Fri, 08 May 2020 16:44:20 +0200SVGHMI: Systematically output local name as /* comment */ when emiting content. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 08 May 2020 16:44:20 +0200] rev 2947
SVGHMI: Systematically output local name as /* comment */ when emiting content.

Fri, 24 Apr 2020 10:03:40 +0200Merge svghmi
Edouard Tisserant [Fri, 24 Apr 2020 10:03:40 +0200] rev 2946
Merge