beremiz

SVGHMI: re-indenting
svghmi
2020-03-02, Edouard Tisserant
bb89a2fbb4e0
SVGHMI: re-indenting
(binary:image/png)