editors/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Thu, 07 Jun 2018 14:12:18 +0300
changeset 2175 667f7de69cf6
parent 814 5743cbdff669
permissions -rw-r--r--
Fix compilation problem in case of TARGET_LOGGING_DISABLE turned on and TARGET_DEBUG_DISABLE turned off