ninja-ide/ninja-ide — pull request #1153 by diegosarmentero (2013-03-17 03:39:00+00:00)
Title:  Fixed Issue #1088 

Fixed Issue #1088