ninja-ide/ninja-ide — pull request #1062 by diegosarmentero (2013-01-13 17:49:37+00:00)
Title: Fixed Issue #1032

Fixed Issue #1032