images/IDManager.png
author Edouard Tisserant
Fri, 23 Nov 2018 12:13:24 +0100
changeset 2459 21164625b393
parent 2337 8689ce77076f
permissions -rw-r--r--
Merged. Some changes that should already have been incuded during previous merge (mostly about PlcStatus) have been included this time.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)