ninja-ide/ninja-ide — pull request #568 by diegosarmentero (2012-06-05 20:48:59+00:00)
Title: Fixed Issue #567

Fixed Issue #567