util/__init__.py
author Edouard Tisserant
Tue, 11 Aug 2020 14:37:33 +0200
branchsvghmi
changeset 3022 f6fe42b7ce60
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: finished initial implementation of PAGE_LOCAL and HMI_LOCAL variables.