ninja-ide/ninja-ide — pull request #132 by diegosarmentero (2011-12-28 23:11:27+00:00)
Title: Fixed Issue 123

Fixed Issue 123