ninja-ide/ninja-ide — pull request #145 by diegosarmentero (2012-01-04 23:38:06+00:00)
Title: Fixed Issue #143 

Fixed Issue #143