beremiz

beremiz/exemples/svghmi_jumps/
Backed out changeset ddadbdf20e70, no effect on current problem.

2022-12-15, Edouard Tisserant
302492568cf4