beremiz

beremiz/exemples/svghmi_jumps/svghmi_0@svghmi/
Runtime web settings: fix punctuation and update CSS again

2023-11-22, Edouard Tisserant
dcc83e03d065