ninja-ide/ninja-ide — pull request #691 by diegosarmentero (2012-07-01 20:47:39+00:00)
Title: renaming .pro to ninja_translate

To fix the PPA
And adding locator tab feature