ninja-ide/ninja-ide — pull request #493 by diegosarmentero (2012-05-16 16:23:37+00:00)
Title: Fixed Issues #262

Fixed Issues #262