ninja-ide/ninja-ide — pull request #886 by diegosarmentero (2012-10-01 00:56:57+00:00)
Title:  Fixed Issue #861 

Fixed Issue #861