editors/__init__.py
author Edouard Tisserant
Mon, 05 Feb 2018 16:23:51 +0100
changeset 1926 d430a67c8462
parent 814 5743cbdff669
permissions -rw-r--r--
Launcher : add a debug attribute, instead of BMZ_DBG, so that customization can use it.