beremiz

beremiz/exemples/svghmi_jumps/
GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70