ninja-ide/ninja-ide — pull request #417 by diegosarmentero (2012-04-01 00:06:01+00:00)
Title: Fixed Issue #355

Fixed Issue #355