ninja-ide/ninja-ide — pull request #477 by diegosarmentero (2012-05-08 23:12:50+00:00)
Title: Fixed Issue #468

Fixed Issue #468