Tue, 26 May 2020 10:59:01 +0200 | dgaberscek | SVGHMI: Added widget toggleButton. | changeset | files |
Tue, 26 May 2020 10:53:02 +0200 | dgaberscek | SVGHMI: Changed widget button handler to element attribute. | changeset | files |
Tue, 02 Jun 2020 13:37:34 +0200 | Edouard Tisserant | Runtime: create .md5 file at the end of all transfered files being written to disk, so that it presence indicates completeness of transfer. | changeset | files |