ninja-ide/ninja-ide — pull request #1198 by diegosarmentero (2013-04-23 00:24:05+00:00)
Title: Allow manual install of plugins

Allow manual install of plugins