util/__init__.py
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 18 Apr 2020 11:49:02 +0200
branchsvghmi
changeset 2937 9226a830fbc3
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: moving code wher it belongs, and reformulate some declarations for better readability.