util/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 01 Oct 2018 12:04:58 +0300
changeset 2409 00d90ab8a462
parent 742 41a4a560406c
permissions -rw-r--r--
Fix segmentation fault when last lines in text POUs should be highlighted