ninja-ide/ninja-ide — pull request #484 by malderete (2012-05-11 19:38:53+00:00)
Title: Plugin fix!

In this commit I have fixed two issues #472 and #473 related to plugin manager, it is a really simple code.