src/widgets/img/tooltip-corners.png
author durandn
Fri, 18 Sep 2015 14:44:36 +0200
changeset 1053 149a4ea20ea7
parent 986 f9d51dd4a3fe
permissions -rw-r--r--
Added support for deleting annotations + Added support for displaying user names under another format

(binary:image/png)