ninja-ide/ninja-ide — pull request #1067 by diegosarmentero (2013-01-13 19:57:32+00:00)
Title: Fixed Issue #967

Fixed Issue #967