ninja-ide/ninja-ide — pull request #479 by diegosarmentero (2012-05-09 00:10:29+00:00)
Title: Fixed Issue #442

Fixed Issue #442