images/IDManager.png
author Edouard Tisserant
Fri, 12 Jul 2019 11:58:22 +0200
branchsvghmi
changeset 2745 535eb0b8bd9d
parent 2337 8689ce77076f
permissions -rw-r--r--
Skeleton for svghmi extension
(binary:image/png)