Tue, 03 Mar 2020 10:58:00 +0100 | Edouard Tisserant | SVGHMI: re-indent generated JS | changeset | files |
Mon, 02 Mar 2020 16:30:29 +0100 | Edouard Tisserant | SVGHMI: detach/re-attach elements required by pages on page switch | changeset | files |
Mon, 02 Mar 2020 16:25:35 +0100 | Edouard Tisserant | SVGHMI: re-indenting | changeset | files |
Mon, 02 Mar 2020 14:43:21 +0100 | Edouard Tisserant | SVGHMI: declares pages detachable requirements as an object, to find more efficiently common requirements | changeset | files |