ninja-ide/ninja-ide — pull request #587 by diegosarmentero (2012-06-14 13:05:19+00:00)
Title: Fixed Issue #586 

Fixed Issue #586