util/__init__.py
author Edouard Tisserant <edouard@beremiz.fr>
Wed, 24 Jul 2024 15:14:02 +0200
changeset 4000 87f11a874477
parent 742 41a4a560406c
permissions -rw-r--r--
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes