ninja-ide/ninja-ide — pull request #881 by diegosarmentero (2012-09-29 15:59:52+00:00)
Title:  Fixed Issue #773 

Fixed Issue #773