Tue, 28 Feb 2023 15:08:43 +0100 | Edouard Tisserant | Merged from default | changeset | files |
Tue, 28 Feb 2023 09:39:51 +0100 | Edouard Tisserant | Merge. | changeset | files |
Tue, 28 Feb 2023 09:36:08 +0100 | Edouard Tisserant | SVGHMI: add two more simple widgets to default widget library | changeset | files |