ninja-ide/ninja-ide — pull request #517 by malderete (2012-05-24 04:46:19+00:00)
Title: Fixed issues #232 and #307

Improves Plugin handling for uninstall in some case the name of the plugin is not the same as the plugin descriptor file(.plugin) I have improved that case :).