Thu, 19 Sep 2019 10:41:39 +0200 | Edouard Tisserant | SVGHMI: gui.svg -> svghmi.svg | changeset | files |
Thu, 19 Sep 2019 09:01:49 +0200 | Edouard Tisserant | SVGHMI: moved static JS code to a separate file included at xhtml generation time | changeset | files |