ninja-ide/ninja-ide — pull request #591 by diegosarmentero (2012-06-14 22:40:50+00:00)
Title: Fixed Issue #583

Fixed Issue #583