ninja-ide/ninja-ide — pull request #387 by diegosarmentero (2012-03-29 00:59:46+00:00)
Title: Fixed Issue #351

Fixed Issue #351