ninja-ide/ninja-ide — pull request #869 by diegosarmentero (2012-09-23 05:07:36+00:00)
Title:  Fixed Issue #862 

Fixed Issue #862