beremiz

SVGHMI: remove widgets deprecated since long

20 months ago, Edouard Tisserant
59a331f80858
SVGHMI: remove widgets deprecated since long
Configuration Tree
==================
Project (Root) node
-------------------
.. _project-files:
Project files
^^^^^^^^^^^^^
Types and POUS
--------------
Extensions
----------