beremiz
Clone
Summary
Browse
Changes
Graph
SVGHMI: fix some JS + add generation of detachable elements, to be continued
svghmi
2020-03-02, Edouard Tisserant
dffade5c83d3
SVGHMI: fix some JS + add generation of detachable elements, to be continued
(binary:image/png)
