images/FILE.png
author Edouard Tisserant
Wed, 14 Nov 2018 11:32:08 +0100
changeset 2334 d1470c052662
parent 784 a1d970365e41
permissions -rw-r--r--
Added early implementation of IDManager.py. For now only used to select ID in URIEditor
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)