ninja-ide/ninja-ide — pull request #1140 by diegosarmentero (2013-03-12 20:08:49+00:00)
Title: Fixed Issue #1122

Fixed Issue #1122