Images/RESOURCE.png
author laurent
Thu, 23 Jul 2009 18:07:14 +0200
changeset 381 98890d848701
parent 184 d3e6484ebe85
permissions -rw-r--r--
Redefine cursor switching procedure in graphic viewers
(binary:image/png)