ninja-ide/ninja-ide — pull request #403 by diegosarmentero (2012-03-31 01:50:53+00:00)
Title: Fixed Issue #399

Fixed Issue #399