ninja-ide/ninja-ide — pull request #455 by diegosarmentero (2012-04-16 15:59:45+00:00)
Title: Fixed Issue #454

Fixed Issue #454