ninja-ide/ninja-ide — pull request #271 by diegosarmentero (2012-02-19 20:26:22+00:00)
Title: Some minor fixes in the locator to support plugins.

Some minor fixes in the locator to support plugins.