util/__init__.py
author Edouard Tisserant <edouard.tisserant@gmail.com>
Mon, 03 Aug 2020 16:32:23 +0200
branchsvghmi
changeset 3000 a9a45977bac0
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: prefer apply_hmi_value() to change_hmi_value() when possible