Images/JUMP.png
author laurent
Tue, 20 Dec 2011 23:37:26 +0100
changeset 611 9d24fa46523f
parent 566 6014ef82a98a
permissions -rw-r--r--
Fixing bug integrated plugin editors not closed when removing corresponding plugin
566
6014ef82a98a Adding support for searching text or regular expression in whole project
laurent
parents:
diff changeset
     1
(binary:image/png)