ninja-ide/ninja-ide — pull request #597 by diegosarmentero (2012-06-16 06:39:10+00:00)
Title: Fixed Issue #567 

Fixed Issue #567