svghmi/svghmi.js
Fri, 20 Sep 2019 13:38:58 +0200 Edouard Tisserant SVGHMI: Starting to define JS side more in details. svghmi
Thu, 19 Sep 2019 09:01:49 +0200 Edouard Tisserant SVGHMI: moved static JS code to a separate file included at xhtml generation time svghmi