util/__init__.py
author Edouard Tisserant
Fri, 27 Apr 2018 16:32:53 +0200
changeset 2000 9fa2f8ede5d6
parent 742 41a4a560406c
permissions -rw-r--r--
Fixed random segfault happening when loading new PLC in runtime, when using Xenonai.