beremiz

beremiz/exemples/svghmi_jumps/svghmi_0@svghmi/
Fix blind replace ('text' into 'str') from py3 port

2023-12-09, Edouard Tisserant
a6e7dd8bac36