ninja-ide/ninja-ide — pull request #771 by diegosarmentero (2012-08-07 01:23:04+00:00)
Title:  Fixed Issue #744 

Fixed Issue #744