ninja-ide/ninja-ide — pull request #965 by diegosarmentero (2012-11-04 22:19:22+00:00)
Title:  Fixed Issue #930 

Fixed Issue #930