beremiz

beremiz/doc/
SVGHMI: Fix bug introduced when merging default
svghmi
2020-06-18, Edouard Tisserant
8c42504b6384