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.