ninja-ide/ninja-ide — pull request #537 by diegosarmentero (2012-05-26 23:45:23+00:00)
Title: Really fixing locator

Really fixing locator