svghmi/svghmi.js
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