images/Clean.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Wed, 13 Nov 2024 23:10:36 +0100
changeset 4037 4127c64df073
parent 3888 bd1804e28e05
permissions -rw-r--r--
python runtime: update ServicePublisher to current Zeroconf API
3888
bd1804e28e05 IDE: adjust Build and Clean icons colors.
Edouard Tisserant <edouard@beremiz.fr>
parents: 3568
diff changeset
     1
(binary:image/png)