ninja-ide/ninja-ide — pull request #672 by diegosarmentero (2012-06-28 00:51:09+00:00)
Title: Fixed Issue #670 

Fixed Issue #670