beremiz

beremiz/tests/projects/logging/py_ext_0@py_ext/
SVGHMI: add visible feedback to Jump widget when clicked/touched

2022-09-29, Edouard Tisserant
dfcd13683362