images/delete_graph.png
author Edouard Tisserant
Wed, 14 Nov 2018 11:32:08 +0100
changeset 2334 d1470c052662
parent 929 c562031146e4
permissions -rw-r--r--
Added early implementation of IDManager.py. For now only used to select ID in URIEditor
929
c562031146e4 Improved matplotlib graphic debug panel implementation
Laurent Bessard
parents:
diff changeset
     1
(binary:image/png)