util/__init__.py
author Edouard Tisserant
Wed, 14 Feb 2018 14:48:40 +0100
changeset 1932 65d2dbbf7022
parent 742 41a4a560406c
permissions -rw-r--r--
Better variable naming, and small optimization.