images/Unknown.png
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 01 Oct 2018 12:04:58 +0300
changeset 2409 00d90ab8a462
parent 197 a50b5fa04c57
permissions -rw-r--r--
Fix segmentation fault when last lines in text POUs should be highlighted
(binary:image/png)