util/__init__.py
author Edouard Tisserant
Tue, 02 Feb 2021 10:59:00 +0100
branchsvghmi
changeset 3121 8094494113b6
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: Prevent excluded widget to appear in generated pages' widget list.