images/Minimize.png
author laurent
Tue, 20 Dec 2011 23:37:06 +0100
changeset 656 c1792dfc8c7e
parent 533 25437efb7ae4
child 660 56b536118ec8
permissions -rw-r--r--
Fixing bug integrated plugin editors not closed when removing corresponding plugin
533
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 434
diff changeset
     1
(binary:image/png)