util/__init__.py
author Edouard Tisserant
Wed, 09 Jun 2021 15:28:00 +0200
branchsvghmi
changeset 3253 9233e60a8317
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: fix exception when stored widget library path does not exist anymore