Wed, 13 May 2020 18:47:09 +0200 | Edouard Tisserant | SVGHMI: explicit handling of undefined maximum widget update frequency | changeset | files |
Wed, 13 May 2020 18:27:26 +0200 | Edouard Tisserant | SVGHMI: removed dead code | changeset | files |
Wed, 13 May 2020 18:26:38 +0200 | Edouard Tisserant | SVGHMI: Back button updated to class style | changeset | files |